Hi Mike,

I try to answer the questions, hoping that I do not make a mistake...

"Mike Hansen" <[EMAIL PROTECTED]> writes:

> * Is there only one global precision for floating point numbers or can
> different floating point numbers each have different precisions?  What
> happens if you create a number in one precision and then change the
> precision?

Before I answer, an important point: FLOAT is, as practically all domains in
FriCAS, one possible implementation modelling arbitrary precision floats.
Noone prevents you to modify FLOAT or implement another domain, that behaves
differently.

As far as I know, there is one global precision for FLOAT, which can be set and
retrieved with the function "digits".

A float, once computed, is insensitive to "digits".  I don't think it even
knows it's precision, but that should be very easy to change.

> * Given a domain like "Polynomial Integer", how do I get the base ring
> "Integer" programatically?  This would be like the base_ring method in Sage.

You cannot, currently.  One possibility (I never tried in SPAD, but it works in
Aldor), is to make Polynomial export it's argument.  Could you give a use case?
Maybe there is a workaround.

> * Are constructors like "Polynomial" first class objects?  I can't seem to
> assign "Polynomial" to a variable -- it always wants it to be filled in like
> "Polynomial Integer".

In Aldor, Polynomial would be just any function, i.e., a first class object.
In FriCAS it's not, and it's on top of my whishlist to change that.
Unfortunately, I have no idea how to do it.

Again, do you have a use case?  Maybe there is a workaround.

Martin


--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to