Hello, > 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.
Being able to figure out how many bits of precision a particular Float has would be useful. >> * 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. When trying to construct an object corresponding to 'Polynomial Fraction Integer' in Sage, you first want to construct the argument in Sage, and then make the polynomial ring over that. Currently, I'm just doing some simple string processing to extract the argument. It seems that all the data need to reconstruct a domain within FriCAS is present in its string representation; is this generally true? > 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. It'd be nice to be able to test given a random type if the "outermost" constructor is Polynomial. I'm just doing string stuff to work around it now, but perhaps there is another way to do this. --Mike --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
