Changeset 411
- Timestamp:
- 2015-06-06T19:17:34-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/termlist.lisp
r401 r411 20 20 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 21 21 22 (in-package :ngrobner) 22 (defpackage "TERMLIST" 23 (:use :cl :term) 24 (:export "TERMLIST-SUGAR" 25 "TERMLIST-CONTRACT" 26 "TERMLIST-EXTEND" 27 "TERMLIST-ADD-VARIABLES" 28 "TERMLIST-LT" 29 "TERMLIST-LM" 30 "TERMLIST-LC" 31 "SCALAR-MUL" 32 "SCALAR-TIMES-TERMLIST" 33 "TERM-MUL-LST" 34 "TERMLIST-TIMES-TERM" 35 "TERM-TIMES-TERMLIST" 36 "MONOM-TIMES-TERM" 37 "MONOM-TIMES-TERMLIST" 38 "TERMLIST-UMINUS" 39 "TERMLIST-ADD" 40 "TERMLIST-SUB" 41 "TERMLIST-MUL" 42 "TERMLIST-UNIT" 43 "TERMLIST-EXPT")) 23 44 24 45 (defun termlist-sugar (p &aux (sugar -1))
Note:
See TracChangeset
for help on using the changeset viewer.