Bill Page wrote:
>
> On Tue, Apr 8, 2008 at 7:03 PM, Waldek Hebisch wrote:
> > >
> > > > Bill Page wrote:
> > ...
> > > I agree that they are different. This is properly represented by the
> > > function names:
> > >
> > > (1) -> _+$(Polynomial Integer)
> > >
> > > (1) theMap(SMP;+;3$;27,628)
> > ^^^
> >
> > > Type: ((Polynomial Integer,Polynomial Integer) -> Polynomial Integer)
> > >
> > > (2) -> _+$(Polynomial Fraction Integer)
> > >
> > > (2) theMap(SMP;+;3$;27,196)
> > ^^^
> >
> > If you mean that the numbers in printed form "properly" show the
> > difference, then this is not really proper: the number is part of
> > hash of domain vector. Since the hash is truncated to three digits
> > you may easily get collisions.
>
> Hmmm... how are such collisions currently resolved in SPAD?
>
They are not resolved: the hash is only used for printing.
> > And you have other problems with "the same" functions looking
> > unequal. So, this is just a hack, you need to work harder to
> > compare domains.
> >
>
> I presume you mean: "to compare *functions*"? I am listening :-) Do
> you have any ideas?
>
Comparing domains is part of problem of comparing functions. Current
comparison (in Mapping) does not compare domains -- using EQ means
that if current comparison gives you true, then domains are equal,
but you may have equal code and equal domains and comparison
still may give you false.
--
Waldek Hebisch
[EMAIL PROTECTED]
-------------------------------------------------------------------------
This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
Don't miss this year's exciting event. There's still time to save $100.
Use priority code J8TL2D2.
http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
