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.

source: branches/f4grobner/ring.lisp@ 2126

Last change on this file since 2126 was 2121, checked in by Marek Rychlik, 9 years ago

* empty log message *

File size: 3.4 KB
Line 
1;;; -*- mode: lisp; package: maxima; syntax: common-lisp; base: 10 -*-
2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
3;;;
4;;; copyright (c) 1999, 2002, 2009, 2015 marek rychlik <rychlik@u.arizona.edu>
5;;;
6;;; this program is free software; you can redistribute it and/or modify
7;;; it under the terms of the gnu general public license as published by
8;;; the free software foundation; either version 2 of the license, or
9;;; (at your option) any later version.
10;;;
11;;; this program is distributed in the hope that it will be useful,
12;;; but without any warranty; without even the implied warranty of
13;;; merchantability or fitness for a particular purpose. see the
14;;; gnu general public license for more details.
15;;;
16;;; you should have received a copy of the gnu general public license
17;;; along with this program; if not, write to the free software
18;;; foundation, inc., 59 temple place - suite 330, boston, ma 02111-1307, usa.
19;;;
20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
21
22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
23;;
24;; coefficient ring operations
25;;
26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
27;;
28;; these are all operations that are performed on the coefficients by
29;; the package, and thus the coefficient ring can be changed by merely
30;; redefining these operations.
31;;
32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
33
34(defpackage "RING"
35 (:use :cl)
36 (:shadow "GCD" "LCM" "ZEROP" "+" "-" "*" "/" "EXPT")
37 (:export "PARSE"
38 "UNIT-FOR"
39 "ZEROP"
40 "+"
41 "-"
42 "*"
43 "+"
44 "/"
45 "EXPT"
46 "LCM"
47 "EZGCD"
48 "GCD"
49 ))
50
51(in-package :ring)
52
53(defgeneric unit-for (object)
54 (:method ((self number)) 1))
55
56(defgeneric zerop (object)
57 (:method ((self number)) (cl:zerop self)))
58
59(defgeneric + (x y)
60 (:method ((x number) (y number)) (cl:+ x y)))
61
62(defgeneric - (x y)
63 (:method ((x number) (y number)) (cl:- x y)))
64
65(defgeneric * (x y)
66 (:method ((x number) (y number)) (cl:* x y)))
67
68(defgeneric tensor-times (x y))
69
70(defgeneric / (x y)
71 (:method ((x number) (y number)) (cl:/ x y)))
72
73(defgeneric lcm (x y)
74 (:method ((x integer) (y integer)) (cl:lcm x y)))
75
76(defgeneric expt (x y)
77 (:method ((x integer) (y integer)) (cl:expt x y)))
78
79(defgeneric ezgcd (x y)
80 (:method ((x integer) (y integer)
81 &aux (c (cl:gcd x y)))
82 (values c (cl:/ x c) (cl:/ y c))))
83
84(defgeneric gcd (x y)
85 (:method ((x integer) (y integer))
86 (cl:gcd x y)))
87
88(defgeneric dimension (object))
89
90(defgeneric total-degree (object &optional start end))
91
92(defgeneric divides-p (object1 object2)
93 (:method ((object1 integer) (object2 integer))
94 (cl:zerop (rem object2 object1)))
95 (:documentation "Returns T if OBJECT1 divides OBJECT2"))
96
97(defgeneric divides-lcm-p (object1 object2 object3)
98 (:documentation "Returns T if OBJECT divides LCM(OBJECT2, OBJECT3), NIL otherwise."))
99
100(defgeneric lcm-divides-lcm-p (object1 object2 object3 object4)
101 (:documentation "Returns T if LCM(OBJECT1,OBJECT2) divides LCM(OBJECT3,OBJECT4), NIL otherwise."))
102
103(defgeneric lcm-equal-lcm-p (object1 object2 object3 object4)
104 (:documentation "Returns T if object LCM(OBJECT1,OBJECT2) equals LCM(OBJECT3,OBJECT4), NIL otherwise."))
Note: See TracBrowser for help on using the repository browser.