Changeset 2451 for branches/f4grobner
- Timestamp:
- 2015-06-19T10:22:11-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r2449 r2451 27 27 28 28 (defpackage "POLYNOMIAL" 29 (:use :cl :ring : ring-and-order :monom :order :term :termlist :infix)29 (:use :cl :ring :monom :order :term :termlist :infix) 30 30 (:export "POLY" 31 "POLY-TERMLIST"32 "POLY-SUGAR"33 "POLY-RESET-SUGAR"34 "POLY-LT"35 "MAKE-POLY-FROM-TERMLIST"36 "MAKE-POLY-ZERO"37 "MAKE-POLY-VARIABLE"38 "POLY-UNIT"39 "POLY-LM"40 "POLY-SECOND-LM"41 "POLY-SECOND-LT"42 "POLY-LC"43 "POLY-SECOND-LC"44 "POLY-ZEROP"45 "POLY-LENGTH"46 "SCALAR-TIMES-POLY"47 "SCALAR-TIMES-POLY-1"48 "MONOM-TIMES-POLY"49 "TERM-TIMES-POLY"50 "POLY-ADD"51 "POLY-SUB"52 "POLY-UMINUS"53 "POLY-MUL"54 "POLY-EXPT"55 "POLY-APPEND"56 "POLY-NREVERSE"57 "POLY-REVERSE"58 "POLY-CONTRACT"59 "POLY-EXTEND"60 "POLY-ADD-VARIABLES"61 "POLY-LIST-ADD-VARIABLES"62 "POLY-STANDARD-EXTENSION"63 "SATURATION-EXTENSION"64 "POLYSATURATION-EXTENSION"65 "SATURATION-EXTENSION-1"66 "COERCE-COEFF"67 "POLY-EVAL"68 "POLY-EVAL-SCALAR"69 "SPOLY"70 "POLY-PRIMITIVE-PART"71 "POLY-CONTENT"72 "READ-INFIX-FORM"73 "READ-POLY"74 "STRING->POLY"75 "POLY->ALIST"76 "STRING->ALIST"77 "POLY-EQUAL-NO-SUGAR-P"78 "POLY-SET-EQUAL-NO-SUGAR-P"79 "POLY-LIST-EQUAL-NO-SUGAR-P"80 31 )) 81 32
Note:
See TracChangeset
for help on using the changeset viewer.