close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 4554 for branches/f4grobner


Ignore:
Timestamp:
2016-07-04T10:58:24-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/grobner.demo

    r10 r4554  
    147147poly_ideal_polysaturation([x^4-y^4], [[x-y],[x^2+y^2, x+y]],[x,y]);
    148148
    149 /* POLY_COLON_IDEAL finds the reduced Grobner basis of the colon ideal I:J, i.e. the set of polynomials h
    150    such that there is a polynomial F in J for which H*F is in I */
     149/* POLY_COLON_IDEAL finds the reduced Grobner basis of the colon ideal I:J, i.e. the set of polynomials H
     150   such that for every polynomial G in I there is a polynomial F in J for which H*F=G;
     151   in other words, I:J = {h: h*J is contained in I} */
    151152
    152153poly_colon_ideal([x^2*y],[y],[x,y]);
Note: See TracChangeset for help on using the changeset viewer.