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


Ignore:
Timestamp:
2015-06-05T16:17:42-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ngrobner-package.lisp

    r245 r246  
    2323  (:use :cl)
    2424  (:export
     25   "$LEX" "$GRLEX" "$GREVLEX" "$RING_OF_INTEGERS"
    2526   "$POLY_ELIMINATION_ORDER" "$POLY_MONOMIAL_ORDER"
    2627   "$POLY_MONOMIAL_ORDER" "$POLY_PRIMARY_ELIMINATION_ORDER"
    27    "$POLY_PRIMARY_ELIMINATION_ORDER"
     28   "$POLY_PRIMARY_ELIMINATION_ORDER" "$POLY_RETURN_TERM_LIST"
    2829   "$POLY_SECONDARY_ELIMINATION_ORDER" "*EXPRESSION-RING*"
    2930   "*ELIMINATION-ORDER*" "*MONOMIAL-ORDER*"
    3031   "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*"
    3132   "*PRIMARY-ELIMINATION-ORDER*" "*SECONDARY-ELIMINATION-ORDER*"
    32    "BUCHBERGER" "BUCHBERGER-CRITERION" "COERCE-COEFF"
    33    "COERCE-TO-MAXIMA" "COLON-IDEAL" "ELIMINATION-IDEAL" "GROBNER"
    34    "FIND-ORDER" "FIND-RING" "$POLY_COEFFICIENT_RING"
     33   "*RATDISREP-FUN*" "BUCHBERGER" "BUCHBERGER-CRITERION"
     34   "COERCE-COEFF" "COERCE-TO-MAXIMA" "COLON-IDEAL" "ELIMINATION-IDEAL"
     35   "GROBNER" "FIND-ORDER" "FIND-RING" "$POLY_COEFFICIENT_RING"
    3536   "GROBNER-EQUAL" "GROBNER-MEMBER" "GROBNER-SUBSETP"
    3637   "IDEAL-INTERSECTION" "IDEAL-POLYSATURATION"
    … …  
    3839   "MAKE-POLY-FROM-TERMLIST" "MAKE-POLY-ZERO" "MAKE-RING" "MAKE-TERM"
    3940   "MAKE-VARIABLE" "MINIMIZATION" "NORMAL-FORM" "POLY-ADD"
    40    "POLY-CONTENT" "POLY-DEPENDS-P" "POLY-EXACT-DIVIDE" "POLY-EXPT"
    41    "POLY-LCM" "POLY-LM" "POLY-LT" "POLY-MUL" "POLY-NORMALIZE"
    42    "POLY-NORMALIZE-LIST" "POLY-PRIMITIVE-PART" "POLY-PSEUDO-DIVIDE"
    43    "POLY-SUB" "POLY-UMINUS" "POLY-ZEROP" "POLYSATURATION-EXTENSION"
     41   "MONOM-EXPONENTS" "POLY-CONTENT" "POLY-DEPENDS-P"
     42   "POLY-EXACT-DIVIDE" "POLY-EXPT" "POLY-LCM" "POLY-LM" "POLY-LT"
     43   "POLY-MUL" "POLY-NORMALIZE" "POLY-NORMALIZE-LIST"
     44   "POLY-PRIMITIVE-PART" "POLY-PSEUDO-DIVIDE" "POLY-SUB" "POLY-UMINUS"
     45   "POLY-ZEROP" "POLYSATURATION-EXTENSION" "POLY-TERMLIST"
    4446   "REDUCED-GROBNER" "REDUCTION" "RING-UNIT" "SATURATION-EXTENSION"
    4547   "SPOLY" "$POLY_COEFFICIENT_RING" "$POLY_ELIMINATION_ORDER"
    46    "$LEX" "$GRLEX" "$GREVLEX" "$RING_OF_INTEGERS"
    47    "$POLY_RETURN_TERM_LIST"
    48    "*RATDISREP-FUN*"
    4948   "TERM-COEFF" "TERM-MONOM"
    50    "POLY-TERMLIST"
    51    "MONOM-EXPONENTS"
    5249))
Note: See TracChangeset for help on using the changeset viewer.