next up previous contents
Next: All examples produced by Up: CGBLisp User Guide and Previous: The Parser Package

Subsections

Other packages

makelist - 1

$\textstyle\parbox{\pboxargslen}{\em expr var lo hi {\sf \&optional} (step 1) \/}$ [MACRO]

makelist

$\textstyle\parbox{\pboxargslen}{\em expr (var lo hi {\sf \&optional} (step 1)) {\sf \&rest} more \/}$ [MACRO]

sum

$\textstyle\parbox{\pboxargslen}{\em {\sf \&body} body \/}$ [MACRO]

list - of

$\textstyle\parbox{\pboxargslen}{\em expr (var lst) {\sf \&rest} more \/}$ [MACRO]

list - of - 1

$\textstyle\parbox{\pboxargslen}{\em expr var lst \/}$ [MACRO]

union - of

$\textstyle\parbox{\pboxargslen}{\em expr (var lst) {\sf \&rest} more \/}$ [MACRO]

union - of - 1

$\textstyle\parbox{\pboxargslen}{\em expr var lst \/}$ [MACRO]

set - of

$\textstyle\parbox{\pboxargslen}{\em expr (var lst) {\sf \&rest} more \/}$ [MACRO]

set - of - 1

$\textstyle\parbox{\pboxargslen}{\em expr var lst \/}$ [MACRO]

select

$\textstyle\parbox{\pboxargslen}{\em ind lst \/}$ [FUNCTION]

monom/

$\textstyle\parbox{\pboxargslen}{\em m1 m2 \/}$ [FUNCTION]

Divide monomial M1 by monomial M2.

monom*

$\textstyle\parbox{\pboxargslen}{\em m1 m2 \/}$ [FUNCTION]

Multiply monomial M1 by monomial M2.

nmonom*

$\textstyle\parbox{\pboxargslen}{\em m1 m2 \/}$ [FUNCTION]

Multiply monomials M1 and M2 - destructive version. M1 is destructively modified, M2 is not modified.

monom - divides - p

$\textstyle\parbox{\pboxargslen}{\em m1 m2 \/}$ [FUNCTION]

Returns T if monomial M1 divides monomial M2, NIL otherwise.

monom - divisible - by - p

$\textstyle\parbox{\pboxargslen}{\em m1 m2 \/}$ [FUNCTION]

Returns T if monomial M1 is divisible by monomial M2, NIL otherwise.

monom - rel - prime

$\textstyle\parbox{\pboxargslen}{\em m1 m2 \/}$ [FUNCTION]

Returns T if two monomials M1 and M2 are relatively prime (disjoint).

monom - equal

$\textstyle\parbox{\pboxargslen}{\em m1 m2 \/}$ [FUNCTION]

Returns T if two monomials M1 and M2 are equal.

monom - lcm

$\textstyle\parbox{\pboxargslen}{\em m1 m2 \/}$ [FUNCTION]

Returns least common multiple of monomials M1 and M2.

monom - gcd

$\textstyle\parbox{\pboxargslen}{\em m1 m2 \/}$ [FUNCTION]

Returns greatest common divisor of monomials M1 and M2.

poly - gcd

$\textstyle\parbox{\pboxargslen}{\em a b \/}$ [FUNCTION]

poly - pseudo - divide

$\textstyle\parbox{\pboxargslen}{\em f g \/}$ [FUNCTION]

poly - pseudo - remainder

$\textstyle\parbox{\pboxargslen}{\em f g \/}$ [FUNCTION]

mdeg

$\textstyle\parbox{\pboxargslen}{\em b \/}$ [FUNCTION]

lcoeff

$\textstyle\parbox{\pboxargslen}{\em b \/}$ [FUNCTION]

lrest

$\textstyle\parbox{\pboxargslen}{\em b \/}$ [FUNCTION]

lpart

$\textstyle\parbox{\pboxargslen}{\em b \/}$ [FUNCTION]

poly - primitive - part

$\textstyle\parbox{\pboxargslen}{\em f \/}$ [FUNCTION]

poly - content

$\textstyle\parbox{\pboxargslen}{\em f \/}$ [FUNCTION]

poly - with - sugar - poly

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

poly - with - sugar - sugar

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

poly - with - sugar - tail

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

(setf poly - with - sugar - poly)

$\textstyle\parbox{\pboxargslen}{\em poly \/}$ [SETF MAPPING]

(setf poly - with - sugar - sugar)

$\textstyle\parbox{\pboxargslen}{\em sugar \/}$ [SETF MAPPING]

(setf poly - with - sugar - tail)

$\textstyle\parbox{\pboxargslen}{\em tail \/}$ [SETF MAPPING]

monom - sugar

$\textstyle\parbox{\pboxargslen}{\em m \/}$ [FUNCTION]

coefficient - sugar

$\textstyle\parbox{\pboxargslen}{\em c ring \/}$ [FUNCTION]

term - sugar

$\textstyle\parbox{\pboxargslen}{\em term ring \/}$ [FUNCTION]

poly - add - sugar

$\textstyle\parbox{\pboxargslen}{\em poly ring \/}$ [FUNCTION]

scalar - times - poly - with - sugar

$\textstyle\parbox{\pboxargslen}{\em c p ring \/}$ [FUNCTION]

term - times - poly - with - sugar

$\textstyle\parbox{\pboxargslen}{\em term f ring \/}$ [FUNCTION]

monom - times - poly - with - sugar

$\textstyle\parbox{\pboxargslen}{\em m f \/}$ [FUNCTION]

minus - poly - with - sugar

$\textstyle\parbox{\pboxargslen}{\em f ring \/}$ [FUNCTION]

poly - with - sugar+

$\textstyle\parbox{\pboxargslen}{\em p q pred ring \/}$ [FUNCTION]

poly - with - sugar -

$\textstyle\parbox{\pboxargslen}{\em p q pred ring \/}$ [FUNCTION]

poly - with - sugar - op

$\textstyle\parbox{\pboxargslen}{\em f term g pred ring \/}$ [FUNCTION]

poly - with - sugar - nreverse

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

poly - with - sugar - append

$\textstyle\parbox{\pboxargslen}{\em p q \/}$ [FUNCTION]

poly - with - sugar - zerop

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

poly - with - sugar - lm

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

poly - with - sugar - lc

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

poly - with - sugar - lt

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

poly - print

$\textstyle\parbox{\pboxargslen}{\em plist vars {\sf \&optional} (stream t) \/}$ [FUNCTION]

Prints a polynomial or a list of polynomials PLIST using infix syntax compatible with most software systems. The following data representations are assumed: 1) Polynomial list is ([ poly1 poly2 ...) 2) Polynomial is a list (term1 term2 ...) 3) Term is (monom . number) 4) Monom is (number1 number2 ...) and is a list of powers at corresponding variables Variable names must be provided to the printer explicitly.

poly - print - 1

$\textstyle\parbox{\pboxargslen}{\em p vars {\sf \&optional} (stream t) \/}$ [FUNCTION]

An auxillary function of POLY - PRINT. It prints a single polynomial P.

poly - print - 2

$\textstyle\parbox{\pboxargslen}{\em plist vars stream {\sf \&optional} (beg t) \/}$ [FUNCTION]

An auxillary function of POLY - PRINT. It prints a comma - separated list of polynomials PLIST.

print - term

$\textstyle\parbox{\pboxargslen}{\em l vars {\sf \&optional} (stream t) beg \/}$ [FUNCTION]

An auxillary function of POLY - PRINT. It prints a single term L.

print - monom

$\textstyle\parbox{\pboxargslen}{\em l vars {\sf \&optional} (stream t) beg \/}$ [FUNCTION]

An auxillary function of POLY - PRINT. It prints a single monomial L.

num

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

denom

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

rat - simplify - 2

$\textstyle\parbox{\pboxargslen}{\em num denom \/}$ [FUNCTION]

rat - simplify

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

rat+

$\textstyle\parbox{\pboxargslen}{\em p q \/}$ [FUNCTION]

rat -

$\textstyle\parbox{\pboxargslen}{\em p q \/}$ [FUNCTION]

rat*

$\textstyle\parbox{\pboxargslen}{\em p q \/}$ [FUNCTION]

rat/

$\textstyle\parbox{\pboxargslen}{\em p q \/}$ [FUNCTION]

scalar - times - rat

$\textstyle\parbox{\pboxargslen}{\em scalar p \/}$ [FUNCTION]

scalar - div - rat

$\textstyle\parbox{\pboxargslen}{\em scalar p \/}$ [FUNCTION]

rat - zerop

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

rat - uminus

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

rat - expt

$\textstyle\parbox{\pboxargslen}{\em p n \/}$ [FUNCTION]

rat - constant

$\textstyle\parbox{\pboxargslen}{\em c n \/}$ [FUNCTION]

Make a constant rational function equal to c with n variables

rat - to - poly

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

Attempt to convert a rational function to a polynomial by dividing numerator by denominator. Error if not divisible

ratpoly+

$\textstyle\parbox{\pboxargslen}{\em p q \/}$ [FUNCTION]

Add polynomials P and Q.

ratpoly -

$\textstyle\parbox{\pboxargslen}{\em p q \/}$ [FUNCTION]

ratpoly - uminus

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

ratpoly*

$\textstyle\parbox{\pboxargslen}{\em p q \/}$ [FUNCTION]

Multiply polynomials P and Q.

scalar - times - ratpoly

$\textstyle\parbox{\pboxargslen}{\em scalar p \/}$ [FUNCTION]

Multiply scalar SCALAR by a polynomial P.

rat - times - ratpoly

$\textstyle\parbox{\pboxargslen}{\em scalar p \/}$ [FUNCTION]

Multiply rational function SCALAR by a polynomial P.

ratpoly - divide

$\textstyle\parbox{\pboxargslen}{\em f g \/}$ [FUNCTION]

Divide polynomial F by G. Return quotient and remainder as multiple values.

ratpoly - remainder

$\textstyle\parbox{\pboxargslen}{\em f g \/}$ [FUNCTION]

The remainder of the division of a polynomial F by G.

ratpoly - gcd

$\textstyle\parbox{\pboxargslen}{\em f g \/}$ [FUNCTION]

Return GCD of polynomials F and G.

ratpoly - diff

$\textstyle\parbox{\pboxargslen}{\em f \/}$ [FUNCTION]

Differentiate a polynomial.

ratpoly - square - free

$\textstyle\parbox{\pboxargslen}{\em f \/}$ [FUNCTION]

Return the square - free part of a polynomial F.

ratpoly - normalize

$\textstyle\parbox{\pboxargslen}{\em f \/}$ [FUNCTION]

Divide a non - zero polynomial by the coefficient at the highest power.

ratpoly - resultant

$\textstyle\parbox{\pboxargslen}{\em f g \/}$ [FUNCTION]

Return the resultant of polynomials F and G.

deg

$\textstyle\parbox{\pboxargslen}{\em s \/}$ [FUNCTION]

lead

$\textstyle\parbox{\pboxargslen}{\em s \/}$ [FUNCTION]

ratpoly - discriminant

$\textstyle\parbox{\pboxargslen}{\em p {\sf \&aux} (l (deg p)) \/}$ [FUNCTION]

The discriminant of a polynomial P.

ratpoly - print

$\textstyle\parbox{\pboxargslen}{\em p vars {\sf \&optional} (stream t) (beg t) (p$-$orig p) \/}$ [FUNCTION]

poly - to - ratpoly

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

poly - to - poly1

$\textstyle\parbox{\pboxargslen}{\em p {\sf \&aux} (htab (make$-$hash$-$table)) q \/}$ [FUNCTION]

poly1 - to - ratpoly

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

ratpoly - to - poly1

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

Convert every coefficient of ratpoly to polynomial if possible

poly1 - to - poly

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

Convert a ratpoly, whose coeffs have been converted to poly, into a poly structure, i.e. tack in powers of first variable.

ratpoly - to - poly

$\textstyle\parbox{\pboxargslen}{\em p \/}$ [FUNCTION]

poly - resultant

$\textstyle\parbox{\pboxargslen}{\em f g \/}$ [FUNCTION]

Calculate resultant of F and G given in poly i.e. alist representation.

term*

$\textstyle\parbox{\pboxargslen}{\em term1 term2 {\sf \&optional} (ring *coefficient$-$ring*) \/}$ [FUNCTION]

term/

$\textstyle\parbox{\pboxargslen}{\em term1 term2 {\sf \&optional} (ring *coefficient$-$ring*) \/}$ [FUNCTION]

monom - times - term

$\textstyle\parbox{\pboxargslen}{\em m term \/}$ [FUNCTION]

term - divides - p

$\textstyle\parbox{\pboxargslen}{\em term1 term2 \/}$ [FUNCTION]

term - monom

$\textstyle\parbox{\pboxargslen}{\em term \/}$ [MACRO]

term - coefficient

$\textstyle\parbox{\pboxargslen}{\em term \/}$ [MACRO]

(setf term - monom)

$\textstyle\parbox{\pboxargslen}{\em monom \/}$ [SETF MAPPING]

(setf term - coefficient)

$\textstyle\parbox{\pboxargslen}{\em coefficient \/}$ [SETF MAPPING]

xgcd

$\textstyle\parbox{\pboxargslen}{\em x y \/}$ [FUNCTION]

Extended gcd; the call (xgcd X Y) returns a multiple value list: - GCD - U,V such that they solve the equation GCD=U*X+V*Y - U1,V1 such that LCM=U1*X=V1*Y (up to the sign).

next up previous contents
Next: All examples produced by Up: CGBLisp User Guide and Previous: The Parser Package
Marek Rychlik
3/21/1998