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 1498 for branches


Ignore:
Timestamp:
2015-06-12T12:52:51-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/5am-tests.lisp

    r1496 r1498  
    359359    (is-true (grobner-equal ring-and-order fl gl))))
    360360
    361 ;; Calculate [F, U1*P1-1,U2*P2-1,...,UK*PK-1], where PLIST=[P1,P2,...,PK].
     361;; Calculates [F, U*P-1]
    362362(test saturation-extension-1
    363363  "Saturation extension with 1 polynomial"
     
    366366         (P (string->poly "x^2" '(x y)))
    367367         (ring *ring-of-integers*)
    368          (F-sat (append (cdr (string->poly F-str '(u1 x y)))
    369                         (cdr (string->poly "[u1*x^2-1]" '(u1 x y))))))
     368         (F-sat (append (cdr (string->poly F-str '(u x y)))
     369                        (cdr (string->poly "[u*x^2-1]" '(u x y))))))
    370370    (is (every #'poly-equal-no-sugar-p
    371371               (saturation-extension-1 ring F p)
    372372               F-sat))))
    373373
     374;; Calculates [F, U1*P1-1,U2*P2-1,...,UK*PK-1], where PLIST=[P1,P2,...,PK].
    374375(test saturation-extension
    375376  "Saturation extension"
    376377  (let* ((F-str "[x^3,x^2*y]")
    377378         (F (cdr (string->poly F-str '(x y))))
    378          (P (cdr (string->poly "[x^2]" '(x y))))
     379         (P (cdr (string->poly "[x^2,x*y]" '(x y))))
    379380         (ring *ring-of-integers*)
    380381         (F-sat (append (cdr (string->poly F-str '(u1 x y)))
    381                         (cdr (string->poly "[u1*x^2-1]" '(u1 x y))))))
     382                        (cdr (string->poly "[u1*x^2-1,u2*(x*y)-1]" '(u1 x y))))))
    382383    (is (every #'poly-equal-no-sugar-p
    383384               (print (polysaturation-extension ring F P))
    384385               F-sat))))
    385386
    386 #+nil
    387387(test ideal-saturation-1
    388388  "Calculate F : p^inf"
Note: See TracChangeset for help on using the changeset viewer.