It doesn't usually make sense to have two different global symbols
"x" with different types, so Maurizio is right, I think.
Also, Maxima will provide only one global symbol, and it should not
have conflicting declarations or assumptions, but these cannot always
be checked for consistency.
This does not resolve the question of what to do with locally-
allocated symbolic names inside functions,
if that is something that Sage has. (It doesn't have to have them)
If you wish to have local symbols with properties that are different
from the properties of
globals with the same names, you will have to do extra work.
Maxima has "contexts" that allow you to do such things, but this
facility is, I think, rarely used. Maybe never used.
On Sep 4, 1:18 pm, William Stein <wst...@gmail.com> wrote:
> 2009/9/4 William Stein <wst...@gmail.com>:
>
>
>
> > 2009/9/4 Maurizio <maurizio.gran...@gmail.com>:
> >>> Feature request -- can you make it so the *docstring* for the variable
> >>> can be specified? I will have to do this soon anyways if you don't,
> >>> since it is needed for the units package.
>
> >>> E.g.,
>
> >>> meter = var('meter', docstring="A meter is...", latex_name="m")
>
> >> By the way, which is the status of the units package? Is the code
> >> somewhere on the net? I'm quite curious! :)
>
> >> Regards
>
> >> Maurizio
>
> > David spent the last few weeks making a documented table of
> > "essentially all known units" along with conversions between them,
> > definitions of them, etc. Then we wrote code to automate conversions,
> > automate creating symbolic variables corresponding to them, etc.
> > It's all in a Sage worksheet, so not posted or ready to use in Sage
> > via a patch yet.
>
> Here is said worksheet:
>
> http://wstein.org/home/wstein/tmp/Units_List.sws
>
> William
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
