There are some C codes that needs to be complied. On your UNIX machine please first do "chmod +x makeall" then "./makeall"
These two commands will make the C code executable.

Next decide if you want to do option(2) or (3)

(2).     To use our code on a UNIX machine
  a.       Open a new file on vi with a name say "testfile"
  b.       Put your parametric polynomial system in a list declared as Sys
  c.       Put the variables you want to eliminate in a list declared(named) as elim
  d.       Put the 1 variable left and the parameters in a list labelled as X
  e.       Finally type read dixonbot
  f.       Save the file and run it with the command maple  testfile

Here is an example :

Sys :=  [ x^2 + y^2 - cs^2,
          (x - as)^2 + y^2 - bs^2,
          x1^2 + y1^2 + z1^2 - fs^2,
          (x1 - as)^2 + y1^2 + z1^2 - ds^2,
          (x1 - x)^2 + (y1 - y)^2 + z1^2 - es^2,
          6*vo - as*y*z1 ]:

elim := [x,y,x1,y1,z1]:
X := [vo,as,bs,cs,ds,es,fs]:
read dixonbot;

There are 10 testfiles named  heron3d, geddes3, sift, heron5d, tot, nat, Allie, basepoint, critical and robotarms.

(3.)    To use the code directly in Maple application
          i.  Open a new worksheet
          ii. Check your current directory using the comman " currentdir() "
          iii. Change the directory to where you saved/downloaded  our Dixon resultant package 
          ( On my own personal computer I saved it on Destkop, so I used  currentdir("/Users/ayoolaj/Desktop/DixonRes" to ensure I have the right directory): 
           iv. You can run our test files by just typing read nat or read heron3d.
          v. For your own parametric polynomial system do 2b to 2e and you will get the result.

 A maple worksheet is attached and named a testfile.mw


Ayoola Jinadu
ajinadu@sfu.ca