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 2716


Ignore:
Timestamp:
2015-06-20T17:12:00-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/polynomial.lisp

    r2697 r2716  
    171171  self)
    172172
    173 #|
    174 
    175173(defun poly-standard-extension (plist &aux (k (length plist)))
    176   "Calculate [U1*P1,U2*P2,...,UK*PK], where PLIST=[P1,P2,...,PK]."
     174  "Calculate [U1*P1,U2*P2,...,UK*PK], where PLIST=[P1,P2,...,PK]
     175is a list of polynomials."
    177176  (declare (list plist) (fixnum k))
    178177  (labels ((incf-power (g i)
    … …  
    183182    (dotimes (i k plist)
    184183      (incf-power (nth i plist) i))))
     184
     185#|
    185186
    186187(defun saturation-extension (ring f plist
Note: See TracChangeset for help on using the changeset viewer.