Changeset 2524 for branches/f4grobner
- Timestamp:
- 2015-06-19T13:28:39-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r2480 r2524 20 20 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 21 21 22 ;;----------------------------------------------------------------23 ;; This package implements BASIC OPERATIONS ON MONOMIALS24 ;;----------------------------------------------------------------25 ;; DATA STRUCTURES: Conceptually, monomials can be represented as lists:26 ;;27 ;; monom: (n1 n2 ... nk) where ni are non-negative integers28 ;;29 ;; However, lists may be implemented as other sequence types,30 ;; so the flexibility to change the representation should be31 ;; maintained in the code to use general operations on sequences32 ;; whenever possible. The optimization for the actual representation33 ;; should be left to declarations and the compiler.34 ;;----------------------------------------------------------------35 ;; EXAMPLES: Suppose that variables are x and y. Then36 ;;37 ;; Monom x*y^2 ---> (1 2)38 ;;39 ;;----------------------------------------------------------------40 41 22 (defpackage "MONOM" 42 23 (:use :cl :ring) 43 24 (:export "MONOM" 44 25 "EXPONENT" 45 "MAKE-MONOM-VARIABLE")) 26 "MAKE-MONOM-VARIABLE") 27 (:documentation 28 "This package implements basic operations on monomials. 29 DATA STRUCTURES: Conceptually, monomials can be represented as lists: 30 31 monom: (n1 n2 ... nk) where ni are non-negative integers 32 33 However, lists may be implemented as other sequence types, so the 34 flexibility to change the representation should be maintained in the 35 code to use general operations on sequences whenever possible. The 36 optimization for the actual representation should be left to 37 declarations and the compiler. 38 39 EXAMPLES: Suppose that variables are x and y. Then 40 41 Monom x*y^2 ---> (1 2) ")) 46 42 47 43 (in-package :monom)
Note:
See TracChangeset
for help on using the changeset viewer.