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 4555 for trunk


Ignore:
Timestamp:
2016-07-04T11:00:41-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/grobner.demo

    r3740 r4555  
    148148
    149149/* 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 */
     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.