Annotation of OpenXM/src/kan96xx/Doc/gblex.sm1, Revision 1.1.1.1
1.1 maekawa 1: % gblex.sm1
2: [
3: (y,x) % Change here. Declare the variables that you use.
4: ring_of_polynomials
5: [[(y) 1] [(x) 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-4 ). % Change here. Write a polynomial for input.
12: ( x*y-1 ). % Change here. Write a polynomial for input.
13: ]
14: def
15:
16: [inputp] groebner_sugar /ans set
17: ans ::
18:
19:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>