Waldek Hebisch writes:
| I wrote:
| >
| > Gabriel Dos Reis wrote:
| > >
| > > Waldek Hebisch writes:
|
| > > |
| > > | new : (NonNegativeInteger, S) -> %
| > > |
| > > | So the first argument to 'new' must be 'NonNegativeInteger' and the
| > > | second must be '%'.
| > >
| > > 1. ne
Waldek Hebisch writes:
| Gabriel Dos Reis wrote:
| >
| > Waldek Hebisch writes:
| >
| > | Gabriel Dos Reis
| > | >
| > | >
| > | > Consider the definition of ModMonoid:
| > | > --8<---8<8<--
| > | > )abbrev domain MODMON ModMonic
| > |
"Prof. Dr. Johannes Grabmeier" writes:
| thanks for the honor - or not: I am not the author of this domain.
|
OK, I will unregister the voodoo ownership.
(but it was meant as honor :-)
| It is a "mutable domain"
|
| )bo PUSH('ModMonic, $mutableDomains)
Yes, but that is a different matter fr
Bill Page writes:
| On Mon, Oct 24, 2011 at 1:02 PM, Gabriel Dos Reis wrote:
| > ...
| > Waldek Hebisch writes:
| > | I would not call this voodoo: the compiler performs reasonable type
| > | inference.
| >
| > There is nothing reasonable about it. The way that most AXIOM compilers
| > do overlo
Bill Page writes:
| On Mon, Oct 24, 2011 at 8:54 AM, Gabriel Dos Reis wrote:
| > ...
| > Now, consider the capsule-level variable "power". It is declared as
| >
| > power:PrimitiveArray(%)
| >
| > then later assigned to as
| >
| > power := new(0,0)
| >
| > There are two lexi
Consider the definition of ModMonoid:
--8<---8<8<--
)abbrev domain MODMON ModMonic
++ Description:
++ This package \undocumented
ModMonic(R,Rep): C == T
where
R: Ring
Rep: UnivariatePolynomialCategory(R)
