Using Bad from Mathemagix

At the present time only a small subset of the Blad functionalities is available. 

Mmx]  
use "mblad";
type_mode? := true;
 
Mmx]  
help bad_rosenfeld_groebner%

bad_rosenfeld_groebner% : (Vector (MVPolynomial (Rational)), Vector (MVPolynomial (Rational)), Vector (Coordinate), Vector (Coordinate)) -> Vector (Regular_chain (MVPolynomial (Rational)))
(Native)
bad_rosenfeld_groebner% : (Vector (MVPolynomial (Rational)), Vector (Coordinate), Vector (Coordinate)) -> Vector (Regular_chain (MVPolynomial (Rational)))
(Native) 

Mmx]  
x: Coordinate == coordinate ('x);
 
Mmx]  
u: Coordinate == coordinate ('u);
 
Mmx]  
u_x: Coordinate == derivative (u, x);
 
Mmx]  
v: Coordinate == coordinate ('v);
 
Mmx]  
v_x: Coordinate == derivative (v, x);
 
Mmx]  
p0: MVPolynomial Rational == u_x^2 - mvpolynomial (4 :> Rational) * v

: 

Mmx]  
p1: MVPolynomial Rational == v_x^2 - mvpolynomial (4 :> Rational) * u

: 

Mmx]  
sols == bad_rosenfeld_groebner% ([ p0, p1 ], [ x ], [ u, v ])

: 

Mmx]  
sols[0].decision_system

: 

Mmx]  
sols[0].attrib

:

© 2012 Grégoire Lecerf
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU General Public License. If you don't have this file, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.