[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: [fricas-devel] understanding domain vectors, optim
[Axiom-developer] Re: [fricas-devel] understanding domain vectors, optimization etc., was: Re: [fricas-devel] Re: Solving linear equations
25 Mar 2008 11:26:22 +0100
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4
Martin Rubey <address@hidden> writes:
> b) isn't the domain vector constant for domains and packages? I guess it
> 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.