Annotation of OpenXM/src/kan96xx/Doc/gblex.sm1, Revision 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>