Changeset 98 in CGBLisp for trunk/src/grobner.lisp

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.

File:

• trunk/src/grobner.lisp (modified) (9 diffs)

trunk/src/grobner.lisp

@@ +1 @@
+;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
 ;;; -*- Mode: Lisp; Syntax: Common-Lisp; Package: Grobner; Base: 10 -*-
 #|
-        $Id: grobner.lisp,v 1.8 2009/01/23 10:40:26 marek Exp $
   *--------------------------------------------------------------------------*
   |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
@@ -55 +55 @@
 (in-package "GROBNER")
 
-(proclaim '(optimize (speed 3) (space 0) (safety 0) (debug 3)))
+(proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3)))
 
 #+debug
@@ -119 +119 @@
 coefficients in a ring whose operations are the slots
 of the RING structure."
-  (declare (optimize (speed 3) (safety 0)))
+  (declare (optimize (speed 0) (safety 3)))
   (let* ((lcm (monom-lcm (lm f) (lm g)))
          (m1 (monom/ lcm (lm f)))
@@ -172 +172 @@
 on the coefficients are performed using the RING structure from the
 COEFFICIENT-RING package."
-  (declare (optimize (speed 3) (safety 0)))
+  (declare (optimize (speed 0) (safety 3)))
   ;; Loop invariant: c*f=sum ai*fi+r+p
   (do (r (c (ring-unit ring))
@@ -908 +908 @@
   C*F= sum A[i]*FL[i] + R
 "
-  (declare (optimize (speed 3) (safety 0)))
+  (declare (optimize (speed 0) (safety 3)))
   (do (r
        (c (ring-unit ring))
@@ -1162 +1162 @@
 the partial remainder exceeds SUGAR-LIMIT then the calculation is stopped and the partial
 remainder is returned, although it is not fully reduced with respect to FL."
-  (declare (optimize (speed 3) (safety 0)))
+  (declare (optimize (speed 0) (safety 3)))
   ;; Loop invariant: c*f=sum ai*fi+r+p
   (do ((r (cons nil 0))
@@ -1460 +1460 @@
 of pairs (MONOMIAL . PRODUCT-POLY) where PRODUCT-POLY is (POLY* MONOMIAL G)."
 
-  (declare (optimize (speed 3) (safety 0)))
+  (declare (optimize (speed 0) (safety 3)))
   ;; Loop invariant: c*f=sum ai*fi+r+p
   (do (r (c (ring-unit ring))
@@ -1551 +1551 @@
 (defun cached-spoly (f g pred ring cache-f cache-g)
   "Uses CACHE to fetch products of monomials and polynomials."
-  (declare (optimize (speed 3) (safety 0)))
+  (declare (optimize (speed 0) (safety 3)))
   (let* ((lcm (monom-lcm (lm f) (lm g)))
          (m1 (monom/ lcm (lm f)))
@@ -1585 +1585 @@
 the partial remainder exceeds SUGAR-LIMIT then the calculation is stopped and the partial
 remainder is returned, although it is not fully reduced with respect to FL."
-  (declare (optimize (speed 3) (safety 0)))
+  (declare (optimize (speed 0) (safety 3)))
   ;; Loop invariant: c*f=sum ai*fi+r+p
   (do ((r (cons nil 0))