Annotation of OpenXM/src/kan96xx/Doc/gbelim.sm1, Revision 1.1.1.1
1.1 maekawa 1: % gbelim.sm1
2: [
3: (x,y,z) % Change here. Declare the variables that you use.
4: ring_of_polynomials
5: [[(x) 1 (y) 1]] weight_vector
6: 0 % Change here. Define the characteristic here.
7: ] define_ring
8:
9: /inputp
10: [ % Polynomials must be enclosed by ( and ). or $ and $.
11: ( x^2+y^2+z^2-1 ). % Change here. Write a polynomial for input.
12: ( x*y+y*z+z*x-1 ). % Change here. Write a polynomial for input.
13: ( x*y*z-1 ). % Change here. Write a polynomial for input.
14: ]
15: def
16:
17: [inputp] groebner_sugar /ans set
18: ans dehomogenize ::
19:
20:
21:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>