> <\body> <\session|mathemagix|default> <\input> <|input> use "geomsolvex" <\input> <|input> X == coordinate ('x); Y == coordinate ('y); <\input> <|input> x == polynomial_dag (1 :\ Rational, X); y == polynomial_dag (1 :\ Rational, Y); <\input> <|input> f1 == x^2 + y^2 - 1; f2 == x^2 + x * y - 2; <\unfolded-io> <|unfolded-io> probable_geometric_solve_reduced_regular ([f1, f2]) <|unfolded-io> +y-1,x+x*y-2,|>>|]>,,,x,x-*x+2,4*x-5*x,-8,3*x-2|]>|)>> <\input> <|input> p: Integer == 101; <\input> <|input> x == polynomial_dag (1 :\ Integer, X); y == polynomial_dag (1 :\ Integer, Y); <\input> <|input> f1 == x^2 + y^2 - 1; f2 == x^2 + x * y - 2; <\unfolded-io> <|unfolded-io> probable_geometric_solve_reduced_regular ([f1 mod p, f2 mod p]) <|unfolded-io> +y-1,x+x*y-2,|>>|]>,,,x,x+79*x+23*x+68*x+36,1,+99*x+60*x+59|]>|)>> For long computations, verbosity can be enabled by setting . . If you don't have this file, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.> <\initial> <\collection>