[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] [Axiom-mail] complex numbers

**From**: |
root |

**Subject**: |
[Axiom-developer] [Axiom-mail] complex numbers |

**Date**: |
Wed, 29 Dec 2004 00:47:32 -0600 |

seems to be a categorical error of some sort.
A: Complex Polynomial Integer
tells the system that 'A' is expected to have a value which is
Complex Polynomial Integer.
'conjugate' works on values, not potential values.
Thus, conjugate(A) has no meaning as 'A' has no value.
This should probably be an error.
If axiom could work with so that conjugate worked on the type
then axiom could work at some sort of an 'axiomatic' level
rather than a symbolic computation level. Perhaps when we join
forces with the ACL2 crowd we could state certain theorems and
have them applied in the absence of a value.
Tim
_______________________________________________
Axiom-mail mailing list
address@hidden
http://lists.nongnu.org/mailman/listinfo/axiom-mail
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden