[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] positive definite matrix predicate
From: |
Konstantin L. Metlov |
Subject: |
Re: [Axiom-mail] positive definite matrix predicate |
Date: |
Tue, 29 Dec 2009 00:37:53 +0200 |
User-agent: |
KMail/1.9.10 |
> It is consistent with the former. The domain Float does not include the
> result %i so it is an error. The other domains include the result.
Yes, but the Integer domain does not include complex unity either and in that
case the result is automatically converted to AlgebraicNumber, which can
represent it. Analogous behaviour in the first case could be to declare the
result of sqrt on Float as Complex(Float).
Konstantin