Underscores _inside_ identifiers which are otherwise useless will be
significant in comparizon (and in external names). In '_repeat'
underscore is _before_ identifier. In 'repeat_ ' underscore is
used to escape space.
Sorry to be so picky, but I do this to get the rules fixed to the last
point. And consider all cases.
What you write above means that
ab and a_b
are different whereas
ab and _ab
count as the same identifier.
Furthermore
ab_
is the same as the identifier that consists of 3 letters namely a, b and
a final space.
In order to access the external name '_ab' one would have to write __ab
(two underscores in front).
If the external identifier is '__ab' would I have to refer to it with 3
or 4 underscores in front of ab?
Would a_b̈́ be equal or unequal to a__b (both SPAD identifiers after your
change)? I.e is _ inside an identifier switching its class to letter
(not escape)? If not then a_b == a__b should be the case since I can
also have something like a_*b as an identifier. The * is as non-letter
as _. (And mod_* makes sense in my eyes.)
Am I right?
I was proposing the final underscore, since I don't think that spaces in
identifiers is a good idea. (Look at all the problems that occur with
spaces in unix filenames.)
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
