Changeset 98 in CGBLisp


Ignore:
Timestamp:
Feb 2, 2009, 11:55:20 AM (15 years ago)
Author:
Marek Rychlik
Message:

Removed useless RCS version info. Added missing Emacs mode lines.

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 -*-
    12#|
    2         $Id: cgb-lisp.lisp,v 1.1 2009/01/19 07:44:57 marek Exp $       
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |

  • trunk/src/coefficient-ring.lisp

    r95 r98  
    11;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    22#|
    3         $Id: coefficient-ring.lisp,v 1.4 2009/01/22 03:59:21 marek Exp $
    43  *--------------------------------------------------------------------------*
    54  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    3534(in-package "COEFFICIENT-RING")
    3635
    37 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     36(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    3837
    3938(defstruct ring

  • trunk/src/colored-poly.lisp

    r94 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12#|
    2         $Id: colored-poly.lisp,v 1.12 2009/01/24 11:07:32 marek Exp $   
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    2424(in-package "COLORED-POLY")
    2525             
    26 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     26(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    2727
    2828#+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 -*-
    12#|
    2         $Id: division.lisp,v 1.4 2009/01/22 04:00:56 marek Exp $       
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1515(in-package  "DIVISION")
    1616
    17 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     17(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    1818
    1919(defun divide (f fl &optional

  • trunk/src/dynamics.lisp

    r92 r98  
    11;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    22#|
    3         $Id: dynamics.lisp,v 1.7 2009/01/23 10:49:32 marek Exp $
    43  *--------------------------------------------------------------------------*
    54  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    2827(in-package "DYNAMICS")
    2928
    30 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     29(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    3130
    3231(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 -*-
    12#|
    2         $Id: example.lisp,v 1.2 2009/01/22 04:01:51 marek Exp $
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1717    "INFIX" "COMMON-LISP"))
    1818
    19 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     19(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    2020
    2121(defun example (symbol &optional (stream t))

  • trunk/src/grobner.lisp

    r90 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    23#|
    3         $Id: grobner.lisp,v 1.8 2009/01/23 10:40:26 marek Exp $
    44  *--------------------------------------------------------------------------*
    55  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    5555(in-package "GROBNER")
    5656
    57 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     57(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    5858
    5959#+debug
    … …  
    119119coefficients in a ring whose operations are the slots
    120120of the RING structure."
    121   (declare (optimize (speed 3) (safety 0)))
     121  (declare (optimize (speed 0) (safety 3)))
    122122  (let* ((lcm (monom-lcm (lm f) (lm g)))
    123123         (m1 (monom/ lcm (lm f)))
    … …  
    172172on the coefficients are performed using the RING structure from the
    173173COEFFICIENT-RING package."
    174   (declare (optimize (speed 3) (safety 0)))
     174  (declare (optimize (speed 0) (safety 3)))
    175175  ;; Loop invariant: c*f=sum ai*fi+r+p
    176176  (do (r (c (ring-unit ring))
    … …  
    908908  C*F= sum A[i]*FL[i] + R
    909909"
    910   (declare (optimize (speed 3) (safety 0)))
     910  (declare (optimize (speed 0) (safety 3)))
    911911  (do (r
    912912       (c (ring-unit ring))
    … …  
    11621162the partial remainder exceeds SUGAR-LIMIT then the calculation is stopped and the partial
    11631163remainder 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)))
    11651165  ;; Loop invariant: c*f=sum ai*fi+r+p
    11661166  (do ((r (cons nil 0))
    … …  
    14601460of pairs (MONOMIAL . PRODUCT-POLY) where PRODUCT-POLY is (POLY* MONOMIAL G)."
    14611461
    1462   (declare (optimize (speed 3) (safety 0)))
     1462  (declare (optimize (speed 0) (safety 3)))
    14631463  ;; Loop invariant: c*f=sum ai*fi+r+p
    14641464  (do (r (c (ring-unit ring))
    … …  
    15511551(defun cached-spoly (f g pred ring cache-f cache-g)
    15521552  "Uses CACHE to fetch products of monomials and polynomials."
    1553   (declare (optimize (speed 3) (safety 0)))
     1553  (declare (optimize (speed 0) (safety 3)))
    15541554  (let* ((lcm (monom-lcm (lm f) (lm g)))
    15551555         (m1 (monom/ lcm (lm f)))
    … …  
    15851585the partial remainder exceeds SUGAR-LIMIT then the calculation is stopped and the partial
    15861586remainder 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)))
    15881588  ;; Loop invariant: c*f=sum ai*fi+r+p
    15891589  (do ((r (cons nil 0))

  • trunk/src/infix-printer.lisp

    r97 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12#|
    2         $Id: infix-printer.lisp,v 1.18 2002/03/29 14:00:18 marek Exp $
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1818(in-package "INFIX-PRINTER")
    1919
    20 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     20(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    2121
    2222(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 -*-
    32;;; ****************************************************************
    43;;; CHANGE LOG:
    … …  
    277276(pushnew :infix *features*)
    278277
    279 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     278(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    280279
    281280(eval-when (:compile-toplevel :load-toplevel :execute)

  • trunk/src/make-cgb.lisp

    r33 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12#|
    2   $Id: make-cgb.lisp,v 1.3 2009/01/19 07:05:15 marek Exp $
    33  *--------------------------------------------------------------------------*
    44  |  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 -*-
    12#|
    23  *--------------------------------------------------------------------------*
    … …  
    1516(in-package "MAKELIST")
    1617
    17 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     18(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    1819
    1920

  • trunk/src/modular-poly.lisp

    r85 r98  
    11;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    22#|
    3         $Id: modular-poly.lisp,v 1.2 2009/01/22 04:04:10 marek Exp $
    43  *--------------------------------------------------------------------------*
    54  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1716(in-package "MODULAR-POLY")
    1817
    19 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     18(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    2019
    2120(defun modular-trace (plist modulus)

  • trunk/src/modular.lisp

    r86 r98  
    11;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    22#|
    3         $Id: modular.lisp,v 1.4 2009/01/22 04:03:50 marek Exp $
    43  *--------------------------------------------------------------------------*
    54  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1716(in-package "MODULAR")
    1817
    19 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     18(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    2019
    2120(defun modular-inverse (x p)

  • trunk/src/monom.lisp

    r84 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12#|
    2         $Id: monom.lisp,v 1.3 2009/01/22 04:04:31 marek Exp $   
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1717(in-package "MONOM")
    1818
    19 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     19(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    2020
    2121;;----------------------------------------------------------------

  • trunk/src/order.lisp

    r83 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12#|
    2         $Id: order.lisp,v 1.4 2009/01/23 10:39:41 marek Exp $   
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    3535(in-package "ORDER")
    3636
    37 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     37(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    3838
    3939;; pure lexicographic

  • trunk/src/parse.lisp

    r82 r98  
    11;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    22#|
    3         $Id: parse.lisp,v 1.11 2009/01/22 04:05:13 marek Exp $ 
    43  *--------------------------------------------------------------------------*
    54  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1918(in-package "PARSE")
    2019
    21 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     20(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    2221
    2322;; 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 -*-
    12#|
    2         $Id: poly-gcd.lisp,v 1.4 2009/01/22 04:05:32 marek Exp $       
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1616(in-package "POLY-GCD")
    1717
    18 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     18(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    1919
    2020;; 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 -*-
    12#|
    2         $Id: poly-with-sugar.lisp,v 1.3 2009/01/22 04:06:12 marek Exp $
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    3333(in-package "POLY-WITH-SUGAR")
    3434
    35 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     35(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    3636
    3737;;----------------------------------------------------------------

  • trunk/src/poly.lisp

    r80 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12#|
    2         $Id: poly.lisp,v 1.6 2009/01/22 04:05:52 marek Exp $   
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1818(in-package "POLY")
    1919
    20 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     20(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    2121
    2222;;----------------------------------------------------------------

  • trunk/src/printer.lisp

    r78 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12#|
    2         $Id: printer.lisp,v 1.3 2009/01/22 04:06:32 marek Exp $
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1515(in-package "PRINTER")
    1616
    17 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     17(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    1818
    1919(defun poly-print (plist vars &optional (stream t))

  • trunk/src/prover.lisp

    r77 r98  
    11;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    22#|
    3         $Id: prover.lisp,v 1.3 2009/01/22 04:06:51 marek Exp $
    43  *--------------------------------------------------------------------------*
    54  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1918(in-package "PROVER")
    2019
    21 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     20(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    2221
    2322(defvar *prover-order* #'grevlex>

  • trunk/src/rat.lisp

    r76 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12#|
    2         $Id: rat.lisp,v 1.4 2009/01/22 04:07:12 marek Exp $     
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    2828(in-package "RAT")
    2929
    30 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     30(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    3131
    3232(defun num (p) (car p))                 ;numerator

  • trunk/src/ratpoly.lisp

    r75 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12#|
    2         $Id: ratpoly.lisp,v 1.4 2009/01/22 04:07:33 marek Exp $
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    3434(in-package "RATPOLY")
    3535
    36 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     36(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    3737
    3838;; Arithmetic on polynomials in one variable

  • trunk/src/string-grobner.lisp

    r74 r98  
    11;;; -*- Mode: Common-Lisp; Package: String-Grobner; Base: 10 -*-
    22#|
    3         $Id: string-grobner.lisp,v 1.3 2009/01/22 04:07:58 marek Exp $
    43  *--------------------------------------------------------------------------*
    54  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    3029(in-package "STRING-GROBNER")
    3130
    32 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     31(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    3332
    3433(defun string-normal-form (f fl vars

  • trunk/src/svpoly.lisp

    r73 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12#|
    2         $Id: svpoly.lisp,v 1.4 2009/01/23 10:37:28 marek Exp $ 
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1414(in-package "SVPOLY")
    1515
    16 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     16(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    1717
    1818(defstruct (svpoly (:constructor make-svpoly-raw))

  • trunk/src/term.lisp

    r72 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12#|
    2         $Id: term.lisp,v 1.4 2009/01/22 04:08:39 marek Exp $   
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1616(in-package "TERM")
    1717
    18 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     18(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    1919
    2020;;----------------------------------------------------------------

  • trunk/src/trivial.lisp

    r1 r98  
     1;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
    12#|
    2         $Id: trivial.lisp,v 1.1 2009/01/19 08:51:43 marek Exp $
    33  *--------------------------------------------------------------------------*
    44  |  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 -*-
    12#|
    2         $Id: xgcd.lisp,v 1.4 2009/01/22 04:09:05 marek Exp $
    33  *--------------------------------------------------------------------------*
    44  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
    … …  
    1515(in-package "XGCD")
    1616
    17 (proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
     17(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
    1818
    1919(defun xgcd (X Y)
Note: See TracChangeset for help on using the changeset viewer.