Load the three files in Maple: Hom.txt (only needed if you want to compute the projective transformation) RightFactors.txt (only needed if you want to make use of the efficiency improvements) ReduceOrder.tx (the main file) You can find examples at the end of the file ReduceOrder.txt, either by "uncommenting" them (remove the if-false-then-fi) or by copying/pasting them into Maple.