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 411


Ignore:
Timestamp:
2015-06-06T19:17:34-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/termlist.lisp

    r401 r411  
    2020;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    2121
    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"))
    2344
    2445(defun termlist-sugar (p &aux (sugar -1))
Note: See TracChangeset for help on using the changeset viewer.