Changeset 4523 for branches/f4grobner
- Timestamp:
- 2016-06-17T18:19:15-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial-sugar.lisp
r4522 r4523 1 (in-package "POLYNOMIAL") 1 ;;---------------------------------------------------------------- 2 ;;; -*- Mode: Lisp -*- 3 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 4 ;;; 5 ;;; Copyright (C) 1999, 2002, 2009, 2015 Marek Rychlik <rychlik@u.arizona.edu> 6 ;;; 7 ;;; This program is free software; you can redistribute it and/or modify 8 ;;; it under the terms of the GNU General Public License as published by 9 ;;; the Free Software Foundation; either version 2 of the License, or 10 ;;; (at your option) any later version. 11 ;;; 12 ;;; This program is distributed in the hope that it will be useful, 13 ;;; but WITHOUT ANY WARRANTY; without even the implied warranty of 14 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15 ;;; GNU General Public License for more details. 16 ;;; 17 ;;; You should have received a copy of the GNU General Public License 18 ;;; along with this program; if not, write to the Free Software 19 ;;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. 20 ;;; 21 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 22 23 (defpackage "POLYNOMIAL-SUGAR" 24 (:use :cl :utils :monom :copy :ring :polynomial) 25 (:export "MONOM-WITH-SUGAR" 26 "TERM-WITH-SUGAR" 27 "POLY-WITH-SUGAR" 28 "STATIC-SUGAR" 29 "SUGAR" 30 "SUGAR-VALUE" 31 "POLY-INSERT-TERM" 32 "ADD-TO" 33 "MULTIPLY-BY" 34 ) 35 (:documentation "Implements 'sugar'.")) 36 37 (in-package "POLYNOMIAL-SUGAR") 38 39 ;;(proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 0))) 2 40 3 41 (defgeneric static-sugar (object)
Note:
See TracChangeset
for help on using the changeset viewer.