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.

Ignore:
Timestamp:
2016-06-05T13:06:41-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

Now classes INTEGER-RING and RATIONAL-FIELD are a part of the RING package

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/integer-ring.lisp

    r4312 r4325  
    2020;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    2121
    22 (defpackage "INTEGER-RING"
    23   (:use :cl :copy :ring :rational-field)
    24   (:shadowing-import-from "RATIONAL-FIELD" value)
    25   (:export "INTEGER-RING"
    26            "INTEGER-RING-VALUE"
    27            "ADD-TO"
    28            "SUBTRACT-FROM"
    29            "MULTIPLY-BY"
    30            "DIVIDE-BY"
    31            "UNARY-MINUS"
    32            "UNARY-INVERSE"
    33            "UNIVERSAL-GCD"
    34            "UNIVERSAL-EZGCD"
    35            "UNIVERSAL-EQUALP"
    36            "UNIVERSAL-ZEROP"
    37            "->SEXP")
    38   (:documentation "Wraps integers into an object."))
    39 
    40 (in-package "INTEGER-RING")
     22(in-package "RING")
    4123
    4224(defclass integer-ring (rational-field)
Note: See TracChangeset for help on using the changeset viewer.