The cl-buchberger Reference Manual

Table of Contents

The cl-buchberger Reference Manual

This is the cl-buchberger Reference Manual, version 0.0.4, generated automatically by Declt version 2.4 "Will Decker" on Wed Jun 20 10:59:49 2018 GMT+0.

1 Introduction

cl-buchberger
=============
Juan M. Bello Rivas 
June 2009

image::images/cl-buchberger.png[Screenshot]

Overview
--------

cl-buchberger is a Common Lisp implementation of Buchberger's
algorithm for the computation of Gröbner bases.

Currently this package can compute Gröbner bases of ideals in
multivariate polynomial rings over the rationals.

Availability
------------

Download the latest version of this package from
http://github.com/jmbr/cl-buchberger/tarball/master

Portability
-----------

The code has been tested under

1. ABCL 0.16.0-dev
2. CLISP 2.47
3. ECL 9.6.1
4. SBCL 1.0.29

License
-------

cl-buchberger is released under the GNU GPLv2.

Usage
-----

Loading the package
~~~~~~~~~~~~~~~~~~~

You need ASDF installed in your system.  To load cl-buchberger,
write:

------------------------------------------------------
  CL-USER> (asdf:operate 'asdf:load-op :cl-buchberger)
  NIL
  CL-USER> (use-package :cl-buchberger)
  T
------------------------------------------------------

Defining a polynomial ring
~~~~~~~~~~~~~~~~~~~~~~~~~~

There's a default ring which is the ring of polynomials on X, Y, Z
over the rationals.  To define custom polynomial rings use:

---------------------------------------------------------
  CL-USER> (make-instance 'polynomial-ring :variables
                          (list 'x 'y 'z 'u 'w 'r 's 't))
  #
---------------------------------------------------------

To change the default ring just bind \*RING\* to whatever you want:

---------------------------------------------------------------------
  CL-USER> (defparameter *ring*
             (make-instance 'polynomial-ring :variables (list 'x 'y))
             "QQ[X, Y]")
  *RING*
  CL-USER> *ring*
  #
---------------------------------------------------------------------

Defining polynomials
~~~~~~~~~~~~~~~~~~~~

Polynomials are defined using a list of terms where each term is a
list with the coefficient as its first term and where the remaining
elements are variable exponents.  For example: (1 1 2 3) would
correspond to the term $$`xy^2z^3`$$

Thus, to create a polynomial write:

-------------------------------------------------------------------
  CL-USER> (defparameter *l* (make-polynomial '((1 3 0) (-2 1 1))))
  *L*
  CL-USER> *l*
  #
  CL-USER> (defparameter *m* (make-polynomial '((3 4 1) (1 2 0))))
  *M*
  CL-USER> *m*
  #
-------------------------------------------------------------------

Polynomial arithmetic
~~~~~~~~~~~~~~~~~~~~~

Use the generic functions RING+, RING-, RING*, and RING/ for the usual
arithmetic operations.

The function RING/ is the multivariate polynomial division algorithm
and takes a polynomial and a sequence of divisors to produce a
sequence of quotients and a remainder.

To set the default monomial ordering, bind \*MONOMIAL-ORDERING\* to the
relevant function (which defaults to LEX>).  For example:

--------------------------------------------------------
  CL-USER> (defparameter *monomial-ordering* #'grevlex>)
  *MONOMIAL-ORDERING*
--------------------------------------------------------

Also, you can use the macro WITH-MONOMIAL-ORDERING to define the
current monomial ordering as in:

-------------------------------------------
  CL-USER> (with-monomial-ordering #'grlex>
             (ring/ *m* *l*))
  #(#)
  #
-------------------------------------------

Computing Gröbner bases
~~~~~~~~~~~~~~~~~~~~~~~

The functions GROEBNER and REDUCED-GROEBNER compute Gröbner bases and
reduced Gröbner bases respectively.  Both of them take a sequence of
polynomials as parameter.  An alternative is to construct a polynomial
ideal and obtain its reduced Gröbner basis using the BASIS generic
function.

For example:

--------------------------------------------------------------------------------
  CL-USER> (defparameter *katsura-3*
             (make-ideal (list (make-polynomial '((1 1 0 0) (2 0 1 0) (2 0 0 1) (-1 0 0 0)))
                               (make-polynomial '((1 2 0 0) (-1 1 0 0) (2 0 2 0) (2 0 0 2)))
                               (make-polynomial '((2 1 1 0) (2 0 1 1) (-1 0 1 0)))))
             "Katsura-3 over QQ[x, y, z] (default ring)")
  *KATSURA-3*
  CL-USER> *katsura-3*
  # :GENERATORS #(#
                                            #
                                            #)>
  CL-USER> (basis *katsura-3*)
  #(#
    #
    #)
--------------------------------------------------------------------------------

Bug reports
-----------

There's a bug tracker available at http://github.com/jmbr/cl-buchberger/issues

2 Systems

The main system appears first, followed by any subsystem dependency.

2.1 cl-buchberger

Author

Juan M. Bello Rivas <jmbr@superadditive.com>

License

GNU GPLv2

Description

cl-buchberger: A Common Lisp implementation of Buchberger’s algorithm.

Version

0.0.4

Source

cl-buchberger.asd (file)

Components

• package.lisp (file)
• vector.lisp (file)
• ring.lisp (file)
• ring-element.lisp (file)
• term.lisp (file)
• monomial-orderings.lisp (file)
• polynomial-ring.lisp (file)
• polynomial.lisp (file)
• arithmetic.lisp (file)
• groebner.lisp (file)
• ideal.lisp (file)

3 Files

Files are sorted by type and then listed depth-first from the systems components trees.

3.1 Lisp

3.1.1 cl-buchberger.asd

Location

cl-buchberger.asd

Systems

cl-buchberger (system)

Packages

com.superadditive.cl-buchberger-system

3.1.2 cl-buchberger/package.lisp

Parent

cl-buchberger (system)

Location

package.lisp

Packages

com.superadditive.cl-buchberger

3.1.3 cl-buchberger/vector.lisp

Dependency

package.lisp (file)

Parent

cl-buchberger (system)

Location

vector.lisp

Internal Definitions

• vector+ (function)
• vector- (function)
• vector-zero-p (function)
• vector= (function)
• vector> (function)

3.1.4 cl-buchberger/ring.lisp

Dependency

vector.lisp (file)

Parent

cl-buchberger (system)

Location

ring.lisp

Internal Definitions

ring (class)

3.1.5 cl-buchberger/ring-element.lisp

Dependency

ring.lisp (file)

Parent

cl-buchberger (system)

Location

ring-element.lisp

Exported Definitions

• ring* (generic function)
• ring+ (generic function)
• ring- (generic function)
• ring-equal-p (generic function)
• ring-identity-p (generic function)
• ring-lcm (generic function)
• ring-zero-p (generic function)
• ring/ (generic function)

Internal Definitions

• add (generic function)
• div (generic function)
• divides-p (generic function)
• divmod (generic function)
• element->string (generic function)
• mul (generic function)
• operands (method)
• ring-copy (generic function)
• ring-division-by-zero (condition)
• ring-element (class)
• ring-mod (generic function)
• sub (generic function)

3.1.6 cl-buchberger/term.lisp

Dependency

ring-element.lisp (file)

Parent

cl-buchberger (system)

Location

term.lisp

Exported Definitions

• ring-equal-p (method)
• ring-zero-p (method)

Internal Definitions

• coefficient (method)
• (setf coefficient) (method)
• element->string (method)
• monomial (method)
• (setf monomial) (method)
• term (class)

3.1.7 cl-buchberger/monomial-orderings.lisp

Dependency

term.lisp (file)

Parent

cl-buchberger (system)

Location

monomial-orderings.lisp

Exported Definitions

• *monomial-ordering* (special variable)
• degree (function)
• grevlex> (function)
• grlex> (function)
• lex> (function)
• with-monomial-ordering (macro)

3.1.8 cl-buchberger/polynomial-ring.lisp

Dependency

monomial-orderings.lisp (file)

Parent

cl-buchberger (system)

Location

polynomial-ring.lisp

Exported Definitions

• *ring* (special variable)
• polynomial-ring (class)
• with-polynomial-ring (macro)

Internal Definitions

• base-field (method)
• variables (method)

3.1.9 cl-buchberger/polynomial.lisp

Dependency

polynomial-ring.lisp (file)

Parent

cl-buchberger (system)

Location

polynomial.lisp

Exported Definitions

• doterms (macro)
• lc (generic function)
• lc (method)
• lm (generic function)
• lm (method)
• lt (generic function)
• lt (method)
• make-polynomial (function)
• mapterm (function)
• multideg (generic function)
• multideg (method)
• polynomial (class)
• ring-zero-p (method)

Internal Definitions

• base-ring (method)
• (setf base-ring) (method)
• element->string (method)
• ring-copy (method)
• terms (method)
• (setf terms) (method)
• terms->list (function)

3.1.10 cl-buchberger/arithmetic.lisp

Dependency

polynomial.lisp (file)

Parent

cl-buchberger (system)

Location

arithmetic.lisp

Exported Definitions

• ring* (method)
• ring+ (method)
• ring- (method)
• ring-lcm (method)
• ring-lcm (method)
• ring/ (method)

Internal Definitions

• add (method)
• add (method)
• div (method)
• divides-p (method)
• divides-p (method)
• divmod (method)
• mul (method)
• mul (method)
• mul (method)
• mul (method)
• mul (method)
• ring-mod (method)
• sub (method)
• sub (method)

3.1.11 cl-buchberger/groebner.lisp

Dependency

arithmetic.lisp (file)

Parent

cl-buchberger (system)

Location

groebner.lisp

Exported Definitions

• groebner (function)
• reduce-gb (function)
• reduced-groebner (function)
• s-poly (function)

Internal Definitions

• criterion (function)
• make-index-set (function)
• normal-form (function)
• pair-member (function)

3.1.12 cl-buchberger/ideal.lisp

Dependency

groebner.lisp (file)

Parent

cl-buchberger (system)

Location

ideal.lisp

Exported Definitions

• basis (generic function)
• basis (method)
• make-ideal (function)
• member-p (generic function)
• member-p (method)

Internal Definitions

• generators (method)
• (setf generators) (method)
• ideal (class)
• ring (method)
• (setf ring) (method)

4 Packages

Packages are listed by definition order.

4.1 com.superadditive.cl-buchberger-system

Source

cl-buchberger.asd

Use List

• asdf/interface
• common-lisp

4.2 com.superadditive.cl-buchberger

Source

package.lisp (file)

Nickname

cl-buchberger

Use List

• asdf/interface
• common-lisp

Exported Definitions

• *monomial-ordering* (special variable)
• *ring* (special variable)
• basis (generic function)
• basis (method)
• degree (function)
• doterms (macro)
• grevlex> (function)
• grlex> (function)
• groebner (function)
• lc (generic function)
• lc (method)
• lex> (function)
• lm (generic function)
• lm (method)
• lt (generic function)
• lt (method)
• make-ideal (function)
• make-polynomial (function)
• mapterm (function)
• member-p (generic function)
• member-p (method)
• multideg (generic function)
• multideg (method)
• polynomial (class)
• polynomial-ring (class)
• reduce-gb (function)
• reduced-groebner (function)
• ring* (generic function)
• ring* (method)
• ring+ (generic function)
• ring+ (method)
• ring- (generic function)
• ring- (method)
• ring-equal-p (generic function)
• ring-equal-p (method)
• ring-identity-p (generic function)
• ring-lcm (generic function)
• ring-lcm (method)
• ring-lcm (method)
• ring-zero-p (generic function)
• ring-zero-p (method)
• ring-zero-p (method)
• ring/ (generic function)
• ring/ (method)
• s-poly (function)
• with-monomial-ordering (macro)
• with-polynomial-ring (macro)

Internal Definitions

• add (generic function)
• add (method)
• add (method)
• base-field (generic function)
• base-field (method)
• base-ring (generic function)
• base-ring (method)
• (setf base-ring) (method)
• (setf base-ring) (generic function)
• coefficient (generic function)
• coefficient (method)
• (setf coefficient) (method)
• (setf coefficient) (generic function)
• criterion (function)
• div (generic function)
• div (method)
• divides-p (generic function)
• divides-p (method)
• divides-p (method)
• divmod (generic function)
• divmod (method)
• element->string (generic function)
• element->string (method)
• element->string (method)
• generators (generic function)
• generators (method)
• (setf generators) (method)
• (setf generators) (generic function)
• ideal (class)
• make-index-set (function)
• monomial (generic function)
• monomial (method)
• (setf monomial) (method)
• (setf monomial) (generic function)
• mul (generic function)
• mul (method)
• mul (method)
• mul (method)
• mul (method)
• mul (method)
• normal-form (function)
• operands (generic function)
• operands (method)
• pair-member (function)
• ring (generic function)
• ring (method)
• (setf ring) (method)
• (setf ring) (generic function)
• ring (class)
• ring-copy (generic function)
• ring-copy (method)
• ring-division-by-zero (condition)
• ring-element (class)
• ring-mod (generic function)
• ring-mod (method)
• sub (generic function)
• sub (method)
• sub (method)
• term (class)
• terms (generic function)
• terms (method)
• (setf terms) (method)
• (setf terms) (generic function)
• terms->list (function)
• variables (generic function)
• variables (method)
• vector+ (function)
• vector- (function)
• vector-zero-p (function)
• vector= (function)
• vector> (function)

5 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.

5.1 Exported definitions

5.1.1 Special variables

Special Variable: *monomial-ordering*

Specifies the ordering of monomials in a polynomial

Package

com.superadditive.cl-buchberger

Source

monomial-orderings.lisp (file)

Special Variable: *ring*

Default polynomial ring

Package

com.superadditive.cl-buchberger

Source

polynomial-ring.lisp (file)

5.1.2 Macros

Macro: doterms (VAR POLY &optional RESULTFORM) &body BODY

Package

com.superadditive.cl-buchberger

Source

polynomial.lisp (file)

Macro: with-monomial-ordering ORDERING &body BODY

Package

com.superadditive.cl-buchberger

Source

monomial-orderings.lisp (file)

Macro: with-polynomial-ring RING &body BODY

Package

com.superadditive.cl-buchberger

Source

polynomial-ring.lisp (file)

5.1.3 Functions

Function: degree M

Returns the total degree of a monomial

Package

com.superadditive.cl-buchberger

Source

monomial-orderings.lisp (file)

Function: grevlex> M1 M2

Graded Reverse Lex Order

Package

com.superadditive.cl-buchberger

Source

monomial-orderings.lisp (file)

Function: grlex> M1 M2

Graded Lex Order

Package

com.superadditive.cl-buchberger

Source

monomial-orderings.lisp (file)

Function: groebner POLYNOMIALS

Returns a Groebner basis for the ideal generated by the specified array of polynomials.

Package

com.superadditive.cl-buchberger

Source

groebner.lisp (file)

Function: lex> M1 M2

Lexicographic Order

Package

com.superadditive.cl-buchberger

Source

monomial-orderings.lisp (file)

Function: make-ideal GENERATORS

Create a new ideal generated by the elements contained in the ‘generators’ list.

Package

com.superadditive.cl-buchberger

Source

ideal.lisp (file)

Function: make-polynomial TERM-LIST &key RING

Package

com.superadditive.cl-buchberger

Source

polynomial.lisp (file)

Function: mapterm FUNCTION POLYNOMIAL

Apply FUNCTION to successive terms of POLYNOMIAL. Return list of FUNCTION return values.

Package

com.superadditive.cl-buchberger

Source

polynomial.lisp (file)

Function: reduce-gb G

Returns a reduced Groebner basis.

Package

com.superadditive.cl-buchberger

Source

groebner.lisp (file)

Function: reduced-groebner F

Computes and reduces a Groebner basis of the ideal generated by F.

Package

com.superadditive.cl-buchberger

Source

groebner.lisp (file)

Function: s-poly F G

Returns the S-polynomial of f and g

Package

com.superadditive.cl-buchberger

Source

groebner.lisp (file)

5.1.4 Generic functions

Generic Function: basis IDEAL

Returns an array of generators for ‘ideal’.

Package

com.superadditive.cl-buchberger

Source

ideal.lisp (file)

Methods

Method: basis (IDEAL ideal)

Generic Function: lc POLY

Returns the leading coefficient of a polynomial

Package

com.superadditive.cl-buchberger

Source

polynomial.lisp (file)

Methods

Method: lc (POLY polynomial)

Generic Function: lm POLY

Returns the leading monomial of a polynomial. That is, the leading term with 1 as coefficient

Package

com.superadditive.cl-buchberger

Source

polynomial.lisp (file)

Methods

Method: lm (POLY polynomial)

Generic Function: lt POLY

Returns the leading term of a polynomial.

Package

com.superadditive.cl-buchberger

Source

polynomial.lisp (file)

Methods

Method: lt (POLY polynomial)

Generic Function: member-p ELEMENT IDEAL

Package

com.superadditive.cl-buchberger

Source

ideal.lisp (file)

Methods

Method: member-p (ELEMENT ring-element) (IDEAL ideal)

Generic Function: multideg POLY

Returns the multidegree of a polynomial

Package

com.superadditive.cl-buchberger

Source

polynomial.lisp (file)

Methods

Method: multideg (POLY polynomial)

Generic Function: ring* ELEMENT &rest MORE-ELEMENTS

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: ring* (POLY polynomial) &rest MORE-POLYNOMIALS

Source

arithmetic.lisp (file)

Generic Function: ring+ ELEMENT &rest MORE-ELEMENTS

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: ring+ (POLY polynomial) &rest MORE-POLYNOMIALS

Source

arithmetic.lisp (file)

Generic Function: ring- ELEMENT &rest MORE-ELEMENTS

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: ring- (POLY polynomial) &rest MORE-POLYNOMIALS

Source

arithmetic.lisp (file)

Generic Function: ring-equal-p E1 E2

Returns t if e1 equals e2, nil otherwise

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: ring-equal-p (T1 term) (T2 term)

Source

term.lisp (file)

Generic Function: ring-identity-p ELEMENT

Returns t if element is the multiplicative identity, nil otherwise

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Generic Function: ring-lcm E1 E2

Returns the LCM of e1 and e2

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: ring-lcm (R1 rational) (R2 rational)

LCM over the rationals.

Source

arithmetic.lisp (file)

Method: ring-lcm (T1 term) (T2 term)

Returns LCM(t1, t2)

Source

arithmetic.lisp (file)

Generic Function: ring-zero-p ELEMENT

Returns t if element is zero, nil otherwise

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: ring-zero-p (POLY polynomial)

Source

polynomial.lisp (file)

Method: ring-zero-p (TM term)

Source

term.lisp (file)

Generic Function: ring/ ELEMENT &rest MORE-ELEMENTS

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: ring/ (POLY polynomial) &rest MORE-POLYNOMIALS

Source

arithmetic.lisp (file)

5.1.5 Classes

Class: polynomial ()

Package

com.superadditive.cl-buchberger

Source

polynomial.lisp (file)

Direct superclasses

ring-element (class)

Direct methods

• divmod (method)
• divides-p (method)
• mul (method)
• mul (method)
• mul (method)
• sub (method)
• sub (method)
• add (method)
• add (method)
• ring/ (method)
• ring* (method)
• ring- (method)
• ring+ (method)
• multideg (method)
• lm (method)
• lc (method)
• lt (method)
• ring-copy (method)
• ring-zero-p (method)
• element->string (method)
• print-object (method)
• terms (method)
• terms (method)
• base-ring (method)
• base-ring (method)

Direct slots

Slot: base-ring

Initargs

:ring

Initform

(error "you must specify a base ring")

Readers

base-ring (generic function)

Writers

(setf base-ring) (generic function)

Slot: terms

Type

hash-table

Initargs

:terms

Initform

(make-hash-table :test (function equalp))

Readers

terms (generic function)

Writers

(setf terms) (generic function)

Class: polynomial-ring ()

Package

com.superadditive.cl-buchberger

Source

polynomial-ring.lisp (file)

Direct superclasses

ring (class)

Direct methods

• print-object (method)
• initialize-instance (method)
• base-field (method)
• variables (method)

Direct slots

Slot: variables

Initargs

:variables

Initform

(error "you must specify at least one variable")

Readers

variables (generic function)

Slot: base-field

Initargs

:base-field

Initform

(quote rational)

Readers

base-field (generic function)

5.2 Internal definitions

5.2.1 Functions

Function: criterion G B I J FI FJ

Returns t if S_{ij} has to be considered

Package

com.superadditive.cl-buchberger

Source

groebner.lisp (file)

Function: make-index-set S

Package

com.superadditive.cl-buchberger

Source

groebner.lisp (file)

Function: normal-form F G

Package

com.superadditive.cl-buchberger

Source

groebner.lisp (file)

Function: pair-member L M B

Package

com.superadditive.cl-buchberger

Source

groebner.lisp (file)

Function: terms->list POLY

Package

com.superadditive.cl-buchberger

Source

polynomial.lisp (file)

Function: vector+ V1 V2

Returns the sum of the two vectors V1 and V2.

Package

com.superadditive.cl-buchberger

Source

vector.lisp (file)

Function: vector- V1 V2

Returns the difference of the two vectors V1 and V2.

Package

com.superadditive.cl-buchberger

Source

vector.lisp (file)

Function: vector-zero-p V

Returns T if every compoment in V is zero.

Package

com.superadditive.cl-buchberger

Source

vector.lisp (file)

Function: vector= V1 V2

Returns T if both vectors V1 and V2 have the same components, NIL otherwise.

Package

com.superadditive.cl-buchberger

Source

vector.lisp (file)

Function: vector> V1 V2

Returns T if every component in V1 is greater than the corresponding component in V2, NIL otherwise.

Package

com.superadditive.cl-buchberger

Source

vector.lisp (file)

5.2.2 Generic functions

Generic Function: add E1 E2

Adds ring elements

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: add (P1 polynomial) (P2 polynomial)

Returns the sum of two polynomials

Source

arithmetic.lisp (file)

Method: add (POLY polynomial) (TM term)

Returns the polynomial with the added term

Source

arithmetic.lisp (file)

Generic Function: base-field OBJECT

Package

com.superadditive.cl-buchberger

Methods

Method: base-field (POLYNOMIAL-RING polynomial-ring)

automatically generated reader method

Source

polynomial-ring.lisp (file)

Generic Function: base-ring OBJECT

Generic Function: (setf base-ring) NEW-VALUE OBJECT

Package

com.superadditive.cl-buchberger

Methods

Method: base-ring (POLYNOMIAL polynomial)

automatically generated reader method

Source

polynomial.lisp (file)

Method: (setf base-ring) NEW-VALUE (POLYNOMIAL polynomial)

automatically generated writer method

Source

polynomial.lisp (file)

Generic Function: coefficient OBJECT

Generic Function: (setf coefficient) NEW-VALUE OBJECT

Package

com.superadditive.cl-buchberger

Methods

Method: coefficient (TERM term)

automatically generated reader method

Source

term.lisp (file)

Method: (setf coefficient) NEW-VALUE (TERM term)

automatically generated writer method

Source

term.lisp (file)

Generic Function: div E1 E2

Divides ring elements

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: div (T1 term) (T2 term)

Returns the quotient of two terms

Source

arithmetic.lisp (file)

Generic Function: divides-p E1 E2

Returns t if e1 divides e2 in the base ring

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: divides-p (T1 term) (P polynomial)

Source

arithmetic.lisp (file)

Method: divides-p (T1 term) (T2 term)

Source

arithmetic.lisp (file)

Generic Function: divmod ELEMENT DIVISORS

Returns quotient(s) and remainder if we are working in an Euclidean ring.

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: divmod (F polynomial) FS

Divides F by the polynomials in the sequence FS and returns the quotients (as an array) and a remainder.

Source

arithmetic.lisp (file)

Generic Function: element->string ELEMENT &key RING LEADING-TERM &allow-other-keys

Returns a human-readable string representation of an element

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: element->string (POLY polynomial) &key

Source

polynomial.lisp (file)

Method: element->string (TM term) &key RING LEADING-TERM

Source

term.lisp (file)

Generic Function: generators OBJECT

Generic Function: (setf generators) NEW-VALUE OBJECT

Package

com.superadditive.cl-buchberger

Methods

Method: generators (IDEAL ideal)

automatically generated reader method

Source

ideal.lisp (file)

Method: (setf generators) NEW-VALUE (IDEAL ideal)

automatically generated writer method

Source

ideal.lisp (file)

Generic Function: monomial OBJECT

Generic Function: (setf monomial) NEW-VALUE OBJECT

Package

com.superadditive.cl-buchberger

Methods

Method: monomial (TERM term)

automatically generated reader method

Source

term.lisp (file)

Method: (setf monomial) NEW-VALUE (TERM term)

automatically generated writer method

Source

term.lisp (file)

Generic Function: mul E1 E2

Multiplies ring elements

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: mul (P1 polynomial) (P2 polynomial)

Returns the product of two polynomials

Source

arithmetic.lisp (file)

Method: mul (POLY polynomial) (TM term)

Returns the product of a polynomial by a term

Source

arithmetic.lisp (file)

Method: mul (T1 term) (T2 term)

Multiplies two terms storing the result in the first term.

Source

arithmetic.lisp (file)

Method: mul (T1 term) (NUM number)

Source

arithmetic.lisp (file)

Method: mul (POLY polynomial) (NUM number)

Source

arithmetic.lisp (file)

Generic Function: operands CONDITION

Package

com.superadditive.cl-buchberger

Methods

Method: operands (CONDITION ring-division-by-zero)

Source

ring-element.lisp (file)

Generic Function: ring OBJECT

Generic Function: (setf ring) NEW-VALUE OBJECT

Package

com.superadditive.cl-buchberger

Methods

Method: ring (IDEAL ideal)

automatically generated reader method

Source

ideal.lisp (file)

Method: (setf ring) NEW-VALUE (IDEAL ideal)

automatically generated writer method

Source

ideal.lisp (file)

Generic Function: ring-copy ELEMENT

Returns a deep copy of an element

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: ring-copy (POLY polynomial)

Returns a (deep) copy of the given polynomial

Source

polynomial.lisp (file)

Generic Function: ring-mod ELEMENT &rest MORE-ELEMENTS

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: ring-mod F &rest FS

Source

arithmetic.lisp (file)

Generic Function: sub E1 E2

Subtracts ring elements

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Methods

Method: sub (P1 polynomial) (P2 polynomial)

Returns the result of subtracting two polynomials.

Source

arithmetic.lisp (file)

Method: sub (POLY polynomial) (TM term)

Returns the result of subtracting the term from the polynomial

Source

arithmetic.lisp (file)

Generic Function: terms OBJECT

Generic Function: (setf terms) NEW-VALUE OBJECT

Package

com.superadditive.cl-buchberger

Methods

Method: terms (POLYNOMIAL polynomial)

automatically generated reader method

Source

polynomial.lisp (file)

Method: (setf terms) NEW-VALUE (POLYNOMIAL polynomial)

automatically generated writer method

Source

polynomial.lisp (file)

Generic Function: variables OBJECT

Package

com.superadditive.cl-buchberger

Methods

Method: variables (POLYNOMIAL-RING polynomial-ring)

automatically generated reader method

Source

polynomial-ring.lisp (file)

5.2.3 Conditions

Condition: ring-division-by-zero ()

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Direct superclasses

error (condition)

Direct methods

operands (method)

Direct slots

Slot: operands

Initargs

:operands

Readers

operands (generic function)

5.2.4 Classes

Class: ideal ()

Package

com.superadditive.cl-buchberger

Source

ideal.lisp (file)

Direct superclasses

standard-object (class)

Direct methods

• member-p (method)
• basis (method)
• print-object (method)
• generators (method)
• generators (method)
• ring (method)
• ring (method)

Direct slots

Slot: ring

Initargs

:ring

Initform

(error "you must specify a ring for the polynomial ideal.")

Readers

ring (generic function)

Writers

(setf ring) (generic function)

Slot: generators

Initargs

:generators

Initform

(error "you must give a set of generators for the ideal.")

Readers

generators (generic function)

Writers

(setf generators) (generic function)

Class: ring ()

Base class for rings.

Package

com.superadditive.cl-buchberger

Source

ring.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

polynomial-ring (class)

Class: ring-element ()

Base class for ring elements.

Package

com.superadditive.cl-buchberger

Source

ring-element.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

• term (class)
• polynomial (class)

Direct methods

member-p (method)

Direct slots

Slot: base-ring

Class: term ()

Package

com.superadditive.cl-buchberger

Source

term.lisp (file)

Direct superclasses

ring-element (class)

Direct methods

• ring-lcm (method)
• div (method)
• divides-p (method)
• divides-p (method)
• mul (method)
• mul (method)
• mul (method)
• sub (method)
• add (method)
• ring-equal-p (method)
• element->string (method)
• print-object (method)
• ring-zero-p (method)
• initialize-instance (method)
• monomial (method)
• monomial (method)
• coefficient (method)
• coefficient (method)

Direct slots

Slot: coefficient

Initargs

:coefficient

Initform

0

Readers

coefficient (generic function)

Writers

(setf coefficient) (generic function)

Slot: monomial

Type

vector

Initargs

:monomial

Readers

monomial (generic function)

Writers

(setf monomial) (generic function)

Appendix A Indexes

A.1 Concepts

A.2 Functions

A.3 Variables

A.4 Data types