On Wed, Jul 9, 2008 at 8:33 PM, Gabriel Dos Reis wrote: > On Wed, Jul 9, 2008 at 6:56 PM, Bill Page <[EMAIL PROTECTED]> wrote: >>> >>> Symbolic Float -- as explained in the `computing with unknowns' paper. >>> >> >> Ah, I wish I could be at the meeting in Bristol to discuss this in >> detail. Maybe at ISSAC? > > I'll be at ISSAC. >
Great. See you (all) there in a couple of weeks! :-) > ... >> Does it apply to all types? > > Almost -- except function types, which is already weird in > all AXIOM systems. > >> What >> happens if I write: >> >> x:Polynomial Integer >> >> without providing any value. Is 'x' evaluated as Symbolic Polynomial >> Integer? If not, how is that prevented? > > the *expression* x evaluates to a Symbolic Polynomial Integer. > The type of of the *variable* x remains Polynomial Integer in the > evaluation environment. > It occurs to me that I do not understand how interpreter avoids the message: x is declared as being in Polynomial Integer but has not been given a value when used in an expression like the following: p:=x+1 although experience shows it does and the result is of type 'Polynomial Integer'. So this would represent a potentially significant change in behavior. If the result will be 'Symbolic Polynomial Integer' then I presume that I will have to write something like: x:='x and then re-evaluate p in order to get 'Polynomial Integer'. Is there another way? Or does it get more complicated? I wonder if having two "levels" of symbolic expressions such as in this case, might sometimes lead to confusion. >> >> I know these questions might lead to a lot of technical details, so if >> you would prefer to delay further discussion until we next meet, or at >> a later time please feel free. > > Well, I hope to be there -- and I hope you would have read the paper > before then :-) > Is the official version of the paper available online somewhere? > ... > Of course, this development makes even more important the work > done by Andreas Dolzmann and Thomas Sturm as I pointed out > here > > http://www.mail-archive.com/[EMAIL PROTECTED]/msg13175.html > Strong agreement! Regards, Bill Page. ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
