Martin Becker > Math-Polynomial-1.006 > Math::Polynomial::Generic

Math-Polynomial-1.006.tar.gz

Dependencies

Annotate this POD

CPAN RT

 Open 0
View/Report Bugs
Module Version: 0.002   Source   Latest Release: Math-Polynomial-1.008

NAME

Math::Polynomial::Generic - syntactical sugar coating Math::Polynomial

VERSION

This documentation refers to version 0.002 of Math::Polynomial::Generic. As of this version, the interface is still experimental and should not be relied upon in production code.

SYNOPSIS

```  use Math::Polynomial::Generic qw(X C);

\$p = X**2 - 3 * X + 5;
\$q = \$p * X;
\$r = (X - \$some_value) * (X - \$some_other_value);
\$s = C(\$some_value) * X**2 + C(\$some_other_value);```

DESCRIPTION

Math::Polynomial::Generic allows to create Math::Polynomial objects in a more descriptive way than with basic constructors. It offers a symbol X that will act as a polynomial when used as the variable in a polynomial expression. Another one-letter symbol C turns constants into constant polynomials.

SUBROUTINES

X

`X` is different from `Math::Polynomial->new(0, 1)` in that it is not bound to a particular coefficient space. `X` can be coupled in expressions with polynomials of arbitrary coefficient types, such as complex numbers, big rationals, square matrices, etc. The coefficients actually used determine the coefficient space of the whole expression. Incompatible coefficient types must not be mixed in a single expression, of course.

The mechanism to make this work is based on a kind of generic object (hence the name) which will be cast to a proper polynomial when it is used in a binary operation together with something already bound to a coefficient space: either another polynomial or a plain coefficient.

C

`C(\$coeff)` creates a constant polynomial from a given coefficient value `\$coeff`.

Coefficients other than simple numerical values should be turned into polynomials to prevent perl from carrying out the overloaded operator in the coefficient class rather than the polynomial class (see below).

Expressions containing X but lacking any coefficient values will produce generic polynomial objects. These must not be mistaken for proper polynomials, nor should Math::Polynomial methods be invoked on them.

In order to turn an otherwise generic expression into a regular polynomial object, add a `C()`-wrapped zero value.

EXAMPLES

```  \$c = Math::BigRat->new('2/3');   # some coefficient value
\$p = Math::Polynomial->new(1);   # some regular polynomial

\$q = X;                          # wrong (generic)
\$q = X * X - X;                  # wrong (generic)
\$q = X * X - X + C(0);           # OK
\$q = \$p + X;                     # OK
\$q = X + \$p;                     # OK
\$q = \$p - X;                     # OK
\$q = X - \$p;                     # OK
\$q = \$p * X;                     # OK
\$q = \$p / X;                     # OK
\$q = \$p % X;                     # OK

\$q = \$c + X;                     # wrong (operand types)
\$q = X + \$c;                     # wrong (operand types)
\$q = C(\$c) + X;                  # OK
\$q = X + C(\$c);                  # OK
\$q = C(\$c) * X**2;               # OK

\$q = X / X + C(0);               # wrong (generic division)```

OVERRIDDEN METHODS

divmod
div
mod

Currently, division of generic objects by generic objects (like `X/X`) is not implemented. The methods divmod, div and mod are overriden to guard against such cases.

PROTECTED METHODS

_is_generic

Boolean true for generic objects, false for regular polynomials.

_cast

`\$p->_cast(\$q)` generates a regular polynomial from a generic object `\$p`, the result sharing the coefficient space with `\$q`.

EXPORT

By default, nothing is exported into the caller's namespace. The polynomial generators X and C can be explicitly imported, however.

`  Math::Polynomial`

AUTHOR

Martin Becker, <becker-cpan-mp@cozap.com>