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