Changeset 98 in CGBLisp
- Timestamp:
- Feb 2, 2009, 11:55:20 AM (15 years ago)
- Location:
- trunk/src
- Files:
-
- 28 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/cgb-lisp.lisp
r40 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: cgb-lisp.lisp,v 1.1 2009/01/19 07:44:57 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | -
trunk/src/coefficient-ring.lisp
r95 r98 1 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 2 2 #| 3 $Id: coefficient-ring.lisp,v 1.4 2009/01/22 03:59:21 marek Exp $4 3 *--------------------------------------------------------------------------* 5 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 35 34 (in-package "COEFFICIENT-RING") 36 35 37 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))36 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 38 37 39 38 (defstruct ring -
trunk/src/colored-poly.lisp
r94 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: colored-poly.lisp,v 1.12 2009/01/24 11:07:32 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 24 24 (in-package "COLORED-POLY") 25 25 26 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))26 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 27 27 28 28 #+debug(defvar *colored-poly-debug* nil "If true debugging output is on.") -
trunk/src/division.lisp
r93 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: division.lisp,v 1.4 2009/01/22 04:00:56 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 15 15 (in-package "DIVISION") 16 16 17 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))17 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 18 18 19 19 (defun divide (f fl &optional -
trunk/src/dynamics.lisp
r92 r98 1 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 2 2 #| 3 $Id: dynamics.lisp,v 1.7 2009/01/23 10:49:32 marek Exp $4 3 *--------------------------------------------------------------------------* 5 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 28 27 (in-package "DYNAMICS") 29 28 30 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))29 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 31 30 32 31 (defun poly-scalar-composition (f G &optional (order #'lex>)) -
trunk/src/example.lisp
r91 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: example.lisp,v 1.2 2009/01/22 04:01:51 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 17 17 "INFIX" "COMMON-LISP")) 18 18 19 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))19 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 20 20 21 21 (defun example (symbol &optional (stream t)) -
trunk/src/grobner.lisp
r90 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 2 3 #| 3 $Id: grobner.lisp,v 1.8 2009/01/23 10:40:26 marek Exp $4 4 *--------------------------------------------------------------------------* 5 5 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 55 55 (in-package "GROBNER") 56 56 57 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))57 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 58 58 59 59 #+debug … … 119 119 coefficients in a ring whose operations are the slots 120 120 of the RING structure." 121 (declare (optimize (speed 3) (safety 0)))121 (declare (optimize (speed 0) (safety 3))) 122 122 (let* ((lcm (monom-lcm (lm f) (lm g))) 123 123 (m1 (monom/ lcm (lm f))) … … 172 172 on the coefficients are performed using the RING structure from the 173 173 COEFFICIENT-RING package." 174 (declare (optimize (speed 3) (safety 0)))174 (declare (optimize (speed 0) (safety 3))) 175 175 ;; Loop invariant: c*f=sum ai*fi+r+p 176 176 (do (r (c (ring-unit ring)) … … 908 908 C*F= sum A[i]*FL[i] + R 909 909 " 910 (declare (optimize (speed 3) (safety 0)))910 (declare (optimize (speed 0) (safety 3))) 911 911 (do (r 912 912 (c (ring-unit ring)) … … 1162 1162 the partial remainder exceeds SUGAR-LIMIT then the calculation is stopped and the partial 1163 1163 remainder is returned, although it is not fully reduced with respect to FL." 1164 (declare (optimize (speed 3) (safety 0)))1164 (declare (optimize (speed 0) (safety 3))) 1165 1165 ;; Loop invariant: c*f=sum ai*fi+r+p 1166 1166 (do ((r (cons nil 0)) … … 1460 1460 of pairs (MONOMIAL . PRODUCT-POLY) where PRODUCT-POLY is (POLY* MONOMIAL G)." 1461 1461 1462 (declare (optimize (speed 3) (safety 0)))1462 (declare (optimize (speed 0) (safety 3))) 1463 1463 ;; Loop invariant: c*f=sum ai*fi+r+p 1464 1464 (do (r (c (ring-unit ring)) … … 1551 1551 (defun cached-spoly (f g pred ring cache-f cache-g) 1552 1552 "Uses CACHE to fetch products of monomials and polynomials." 1553 (declare (optimize (speed 3) (safety 0)))1553 (declare (optimize (speed 0) (safety 3))) 1554 1554 (let* ((lcm (monom-lcm (lm f) (lm g))) 1555 1555 (m1 (monom/ lcm (lm f))) … … 1585 1585 the partial remainder exceeds SUGAR-LIMIT then the calculation is stopped and the partial 1586 1586 remainder is returned, although it is not fully reduced with respect to FL." 1587 (declare (optimize (speed 3) (safety 0)))1587 (declare (optimize (speed 0) (safety 3))) 1588 1588 ;; Loop invariant: c*f=sum ai*fi+r+p 1589 1589 (do ((r (cons nil 0)) -
trunk/src/infix-printer.lisp
r97 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: infix-printer.lisp,v 1.18 2002/03/29 14:00:18 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 18 18 (in-package "INFIX-PRINTER") 19 19 20 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))20 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 21 21 22 22 (defun infix-print-separated-list (lst sep stream op print-level -
trunk/src/infix.lisp
r89 r98 1 ;;; -*- Mode: Lisp -*- 2 ;;; $Id: infix.lisp,v 1.4 2009/01/22 04:02:59 marek Exp $ 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 3 2 ;;; **************************************************************** 4 3 ;;; CHANGE LOG: … … 277 276 (pushnew :infix *features*) 278 277 279 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))278 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 280 279 281 280 (eval-when (:compile-toplevel :load-toplevel :execute) -
trunk/src/make-cgb.lisp
r33 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: make-cgb.lisp,v 1.3 2009/01/19 07:05:15 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | -
trunk/src/makelist.lisp
r87 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 3 *--------------------------------------------------------------------------* … … 15 16 (in-package "MAKELIST") 16 17 17 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))18 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 18 19 19 20 -
trunk/src/modular-poly.lisp
r85 r98 1 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 2 2 #| 3 $Id: modular-poly.lisp,v 1.2 2009/01/22 04:04:10 marek Exp $4 3 *--------------------------------------------------------------------------* 5 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 17 16 (in-package "MODULAR-POLY") 18 17 19 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))18 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 20 19 21 20 (defun modular-trace (plist modulus) -
trunk/src/modular.lisp
r86 r98 1 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 2 2 #| 3 $Id: modular.lisp,v 1.4 2009/01/22 04:03:50 marek Exp $4 3 *--------------------------------------------------------------------------* 5 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 17 16 (in-package "MODULAR") 18 17 19 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))18 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 20 19 21 20 (defun modular-inverse (x p) -
trunk/src/monom.lisp
r84 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: monom.lisp,v 1.3 2009/01/22 04:04:31 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 17 17 (in-package "MONOM") 18 18 19 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))19 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 20 20 21 21 ;;---------------------------------------------------------------- -
trunk/src/order.lisp
r83 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: order.lisp,v 1.4 2009/01/23 10:39:41 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 35 35 (in-package "ORDER") 36 36 37 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))37 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 38 38 39 39 ;; pure lexicographic -
trunk/src/parse.lisp
r82 r98 1 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 2 2 #| 3 $Id: parse.lisp,v 1.11 2009/01/22 04:05:13 marek Exp $4 3 *--------------------------------------------------------------------------* 5 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 19 18 (in-package "PARSE") 20 19 21 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))20 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 22 21 23 22 ;; The function PARSE yields the representations as above. The two functions -
trunk/src/poly-gcd.lisp
r81 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: poly-gcd.lisp,v 1.4 2009/01/22 04:05:32 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 16 16 (in-package "POLY-GCD") 17 17 18 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))18 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 19 19 20 20 ;; This package calculates GCD of polynomials over integers. -
trunk/src/poly-with-sugar.lisp
r79 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: poly-with-sugar.lisp,v 1.3 2009/01/22 04:06:12 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 33 33 (in-package "POLY-WITH-SUGAR") 34 34 35 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))35 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 36 36 37 37 ;;---------------------------------------------------------------- -
trunk/src/poly.lisp
r80 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: poly.lisp,v 1.6 2009/01/22 04:05:52 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 18 18 (in-package "POLY") 19 19 20 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))20 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 21 21 22 22 ;;---------------------------------------------------------------- -
trunk/src/printer.lisp
r78 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: printer.lisp,v 1.3 2009/01/22 04:06:32 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 15 15 (in-package "PRINTER") 16 16 17 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))17 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 18 18 19 19 (defun poly-print (plist vars &optional (stream t)) -
trunk/src/prover.lisp
r77 r98 1 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 2 2 #| 3 $Id: prover.lisp,v 1.3 2009/01/22 04:06:51 marek Exp $4 3 *--------------------------------------------------------------------------* 5 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 19 18 (in-package "PROVER") 20 19 21 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))20 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 22 21 23 22 (defvar *prover-order* #'grevlex> -
trunk/src/rat.lisp
r76 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: rat.lisp,v 1.4 2009/01/22 04:07:12 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 28 28 (in-package "RAT") 29 29 30 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))30 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 31 31 32 32 (defun num (p) (car p)) ;numerator -
trunk/src/ratpoly.lisp
r75 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: ratpoly.lisp,v 1.4 2009/01/22 04:07:33 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 34 34 (in-package "RATPOLY") 35 35 36 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))36 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 37 37 38 38 ;; Arithmetic on polynomials in one variable -
trunk/src/string-grobner.lisp
r74 r98 1 1 ;;; -*- Mode: Common-Lisp; Package: String-Grobner; Base: 10 -*- 2 2 #| 3 $Id: string-grobner.lisp,v 1.3 2009/01/22 04:07:58 marek Exp $4 3 *--------------------------------------------------------------------------* 5 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 30 29 (in-package "STRING-GROBNER") 31 30 32 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))31 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 33 32 34 33 (defun string-normal-form (f fl vars -
trunk/src/svpoly.lisp
r73 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: svpoly.lisp,v 1.4 2009/01/23 10:37:28 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 14 14 (in-package "SVPOLY") 15 15 16 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))16 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 17 17 18 18 (defstruct (svpoly (:constructor make-svpoly-raw)) -
trunk/src/term.lisp
r72 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: term.lisp,v 1.4 2009/01/22 04:08:39 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 16 16 (in-package "TERM") 17 17 18 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))18 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 19 19 20 20 ;;---------------------------------------------------------------- -
trunk/src/trivial.lisp
r1 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: trivial.lisp,v 1.1 2009/01/19 08:51:43 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | -
trunk/src/xgcd.lisp
r71 r98 1 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*- 1 2 #| 2 $Id: xgcd.lisp,v 1.4 2009/01/22 04:09:05 marek Exp $3 3 *--------------------------------------------------------------------------* 4 4 | Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu) | … … 15 15 (in-package "XGCD") 16 16 17 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))17 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 18 18 19 19 (defun xgcd (X Y)
Note:
See TracChangeset
for help on using the changeset viewer.