Changeset 418 for branches/f4grobner
- Timestamp:
- 2015-06-06T19:32:17-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monomial.lisp
r396 r418 19 19 ;;; 20 20 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 21 22 ;;---------------------------------------------------------------- 23 ;; This package implements BASIC OPERATIONS ON MONOMIALS 24 ;;---------------------------------------------------------------- 25 ;; DATA STRUCTURES: Conceptually, monomials can be represented as lists: 26 ;; 27 ;; monom: (n1 n2 ... nk) where ni are non-negative integers 28 ;; 29 ;; However, lists may be implemented as other sequence types, 30 ;; so the flexibility to change the representation should be 31 ;; maintained in the code to use general operations on sequences 32 ;; whenever possible. The optimization for the actual representation 33 ;; should be left to declarations and the compiler. 34 ;;---------------------------------------------------------------- 35 ;; EXAMPLES: Suppose that variables are x and y. Then 36 ;; 37 ;; Monom x*y^2 ---> #(1 2) 38 ;; 39 ;;---------------------------------------------------------------- 21 40 22 41 (defpackage "MONOMIAL" … … 42 61 "MONOM-EXPONENTS")) 43 62 44 ;;----------------------------------------------------------------45 ;; This package implements BASIC OPERATIONS ON MONOMIALS46 ;;----------------------------------------------------------------47 ;; DATA STRUCTURES: Conceptually, monomials can be represented as lists:48 ;;49 ;; monom: (n1 n2 ... nk) where ni are non-negative integers50 ;;51 ;; However, lists may be implemented as other sequence types,52 ;; so the flexibility to change the representation should be53 ;; maintained in the code to use general operations on sequences54 ;; whenever possible. The optimization for the actual representation55 ;; should be left to declarations and the compiler.56 ;;----------------------------------------------------------------57 ;; EXAMPLES: Suppose that variables are x and y. Then58 ;;59 ;; Monom x*y^2 ---> #(1 2)60 ;;61 ;;----------------------------------------------------------------62 63 63 64 (deftype exponent ()
Note:
See TracChangeset
for help on using the changeset viewer.