`weyli` package

<< back to weyl index

Exported symbols:

Variables

`print-modulus`

`default-random-height`

`coerce-where-possible`

`general`

The general representation domain

`domains`

List of domains currently in use

`negative-infinity`

`positive-infinity`

Macros

`make-mesh`

`map-over-maximal-cells`

`map-over-cells`

`with-matrix-dimensions`

`variable-derivation`

`funct`

`memoize`

Performs the same functions as weyli::%memoize except that the domain: used is general.

`partition`

`permute`

`choose`

`with-numerator-and-denominator`

`define-operations`

`gcd`

`/`

`*`

`-`

`+`

`min`

`max`

`>=`

`<=`

`>`

`=`

`<`

Generic Functions

`read-mesh`

The purpose of this method is unknown.

`write-mesh`

The purpose of this method is unknown.

`make-mesh-from-file`

The purpose of this function is unknown.

`refine-mesh`

The purpose of this function is unknown.

`name-region`

The purpose of this function is unknown.

`insert-boundary`

The purpose of this function is unknown.

`create-mesh`

The purpose of this function is unknown.

`boundary-complex-of`

The purpose of this function is unknown.

`dimension-of`

The purpose of this function is unknown.

`locate`

The purpose of this method is unknown.

`angles`

The purpose of this function is unknown.

`make-curved-segment`

The purpose of this function is unknown.

`simplex-size`

The purpose of this function is unknown.

`split`

The purpose of this function is unknown.

`all-names`

The purpose of this function is unknown.

`insert`

The purpose of this function is unknown.

`name`

The purpose of this function is unknown.

`home-of`

The home of a noncurved simplex is determined by (the first of) its vertices.

`integral`

The purpose of this function is unknown.

`make-sampled-function`

The purpose of this function is unknown.

`boundary`

The purpose of this function is unknown.

`boundary-domain`

The purpose of this function is unknown.

`get-chain-module`

The purpose of this function is unkown.

`make-simplex`

The purpose of this function is unknown.

`make-point`

The purpose of this function is unknown.

`transpose`

The purpose of this function is unknown.

`one-matrix`

The purpose of this function is unknown.

`matrix-dimensions`

The purpose of this function is unknown.

`minimal-polynomial`

The purpose of this function is unknown.

`taylor`

The purpose of this function is unknown.

`add-relation`

The purpose of this function is unknown.

`make-ideal`

The purpose of this function is unknown.

`interpolate`

The purpose of this function is unknown.

`get-variable-name`

The purpose of this function is unknown.

`coefficient`

The purpose of this method is unknown.

`list-of-variables`

The purpose of this method is unknown.

`degree`

The purpose of this method is unknown.

`partial-deriv`

The purpose of this method is unknown.

`resultant`

The purpose of this method is unknown.

`scalar?`

The purpose of this method is unknown.

`get-polynomial-ring`

The purpose of this method is unknown.

`add-new-variable`

The purpose of this method is unknown.

`variable-index`

The purpose of this method is unknown.

`get-factor-ring`

The purpose of this method is unknown.

`multiplicative-order`

The purpose of this method is unknown.

`number-of-elements`

The purpose of this method is unknown.

`even?`

Return true if the number is even.

`plus?`

Return true if the number is positive.

`convert-to-lisp-number`

Return a lisp representation of the number.

`fourier`

The purpose of this method is unknown.

`expand`

Replaces all products of sums in exp by sums of products.

`different-kernels`

Returns a list of the kernels in exp that are di erent from those in: list-of-kernels.

`make-union`

The purpose of this method is unknown.

`eqn>=`

The purpose of this method is unknown.

`eqn>`

The purpose of this method is unknown.

`eqn=`

The purpose of this method is unknown.

`deriv`

Derivative of expression with respect to variables.

`depends-on?`

Return true if the expression depends on any of the variables

`declare-dependencies`

Dependencies of one variable on another can be declared using: declare-dependencies.

`get-variable-property`

There is a property list associated with each variable in a polynomial: ring. This property list is ring specificc and not global. The ring property list is accessed using the generic function get-variable-property. Properties can modified using setf, as with normal property lists.

`make-ge-expt`

Create ge-expt instances.

`make-ge-times`

Create ge-times instances.

`make-ge-plus`

Create ge-plus instances.

`get-function`

Looks for a function with given name.

`add-subscripts`

Creates a new variable, which has the subscripts indicated. If the: variable already has subscripts, then the new subscripts are appended to the ones already present.

`make-ge-variable`

Create a variable in a domain.

`ge-equal`

Returns T for syntactically identical general expressions.

`simplify`

Simplify the expression.

`display`

Prints the expression expr onto stream. If stream a graphics stream: then a two dimension display will be used (not yet implemented), otherwise some textual display will be used.

`minus?`

Return true if the object is negative.

`height`

The purpose of this method is unknown.

`get-quotient-field`

The purpose of this method is unknown.

`compose`

The purpose of this function is unknown.

`map-over-elements`

Map over the elements of the set applying the function.

`set-elements`

The purpose of this method is unknown.

`map-with-domain`

Map the values of the sequences into the domain.

`list-of-elements`

Return a list of the tuple elements.

`ref`

Refernce the item of tuple specified by the first arg.

`factor`

Return the factors of the number.

`power-of?`

Return true if number is a power of opt-number.

`prime?`

Return true if the number is prime.

`combinations`

Return a combination of the upper and lower factorial.

`pochhammer`

Return the falling, or lower, factorial.

`factorial`

Return the factorial of the number.

`insert`

The first interesting operation on AVL trees. This inserts THING into the tree and returns a new tree and an integer which is the change in height of the tree.

`make-generator`

The purpose of this method is unknown.

`dimensions`

`characteristic`

The purpose of this method is not known.

`0?`

`zero`

`recip`

`1?`

`one`

`expt`

`coercible?`

Return true if the element is coercible into the domain.

`coerce`

Coerce the element into the domain.

`required-operations`

The purpose of this method is not known.

`describe-operations`

The purpose of this method is not known.

`operation-values`

The purpose of this method is not known.

`operation-arguments`

The purpose of this method is not known.

`list-operations`

Return a list of operations for the domain.

`map`

Extend the common lisp MAP function.

`substitute`

Extend the common lisp SUBSTITUTE function.

`replace`

Extend the common lisp standard replace.

`member`

Extend the common lisp standard member.

`delete`

Extend the common lisp standard DELETE.

Classes

`mesh`

`tuple`

`universal-quantified-set`

`hilbert-space`

`banach-space`

`function-space`

`simplicial-complex`

`simplex`

`point`

`abstract-point`

`dimensional-space`

`abstract-space`

`direct-sum`

`homomorphism`

`morphism`

`polynomial`

`gfm`

`gfp`

`rational-number`

`rational-numbers`

`complex-number`

`complex-numbers`

`bigfloat`

`real-number`

`real-numbers`

`rational-integer`

`rational-integers`

`ordered-set-of-pairs`

`ordered-simple-set`

`set-of-pairs`

`simple-set`

`finite-set`

`mutable-set`

Sets built from this class can be modified

`quotient-field`

`quotient-ring`

`differential-ring`

`projective-space`

`vector-space`

`simple-field-extension`

`algebraic-extension`

`finite-field`

`field`

`ring`

`algebra`

`simple-ring`

`rng`

`abelian-group`

`abelian-monoid`

`abelian-semigroup`

`group`

`monoid`

`semigroup`

`set`

A class for finite, unordered sets