> <\body> from > At the present time only a small subset of the functionalities is available. <\session|mathemagix|default> <\input> <|input> use "mblad"; type_mode? := true; <\unfolded-io> <|unfolded-io> help bad_rosenfeld_groebner% <|unfolded-io> <\text> Vector (Regular_chain (MVPolynomial (Rational)))>> Vector (Regular_chain (MVPolynomial (Rational)))>> <\input> <|input> x: Coordinate == coordinate ('x); <\input> <|input> u: Coordinate == coordinate ('u); <\input> <|input> u_x: Coordinate == derivative (u, x); <\input> <|input> v: Coordinate == coordinate ('v); <\input> <|input> v_x: Coordinate == derivative (v, x); <\unfolded-io> <|unfolded-io> p0: MVPolynomial Rational == u_x^2 - mvpolynomial (4 :\ Rational) * v <|unfolded-io> u|\x>|)>-4*v>: > <\unfolded-io> <|unfolded-io> p1: MVPolynomial Rational == v_x^2 - mvpolynomial (4 :\ Rational) * u <|unfolded-io> v|\x>|)>-4*u>: > <\unfolded-io> <|unfolded-io> sols == bad_rosenfeld_groebner% ([ p0, p1 ], [ x ], [ u, v ]) <|unfolded-io> v|\x>|)>*v|\x>|)>-16*v,-v|\x>|)>+4*u|]>,|]>,,|]>|]>>: |)>|)>> <\unfolded-io> <|unfolded-io> sols[0].decision_system <|unfolded-io> v|\x>|)>*v|\x>|)>-16*v,-v|\x>|)>+4*u|]>>: |)>> <\unfolded-io> <|unfolded-io> sols[0].attrib <|unfolded-io> >: > . 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>