[Axiom-developer] Re: [fricas-devel] understanding domain vectors, optimization etc., was: Re: [fricas-devel] Re: Solving linear equations

[Martin Rubey]

Martin Rubey <address@hidden> writes:

> b) isn't the domain vector constant for domains and packages?  I guess it 
> won't
>    be constant for default domains, right?  I believe it should be that way,
>    because there is no way that a function definition in a domain or package
>    can be overridden, contrary to default definitions in categories.

sorry, I should have been more precise than that: I realize that it is not
constant as a whole, since the domain constructor may have parameters.  What I
meant is that (qrefelt $ nn) is constant.  I guess not even that is entirely
correct, but mostly.

Martin