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 1596


Ignore:
Timestamp:
2015-06-14T10:49:11-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ideal.lisp

    r1595 r1596  
    5757
    5858(defun ring-intersection (plist k)
    59   "This function assumes that polynomial list PLIST is a Grobner basis
    60 and it calculates the intersection with the ring R[X[K],...,X[N-1]], i.e.
    61 it discards polynomials which depend on variables X[0], X[1], ..., X[K-1]."
     59  "This function assumes that polynomial list
     60PLIST=(P[0],P[1],...,P[J-1]) is a Grobner basis and it calculates the
     61intersection of Id({P[0],P[1],...,P[J-1]}) with the ring
     62R[X[K],...,X[N-1]], i.e.  it discards polynomials which depend on
     63variables X[0], X[1], ..., X[K-1]."
    6264  (dotimes (i k plist)
    6365    (setf plist
Note: See TracChangeset for help on using the changeset viewer.