Ralf Hemmecke wrote:
>
> > Shoe treats 'cross', 'of', 'structure' as keywords.
>
> What exactly is cross for? Do you want to introduce Cross as a type in SPAD?
One possible use is for iteration over products -- in normal
itertion iterators go in parallel, 'cross' may build iterator
over product. That would need special type, in particular
something like Aldor Cross may be needed.
> > Interpreter treats diffretly _ (escape) followed by space:
> > in spad it introduces space into name,
>
> I hope nobody will ever use a name like
>
> this_ is_ one_ identifier
>
> I rather think that the above should be 4 identifiers and a trailing _
> should be counted either as a single _ or simply by ignored.
>
With yesterday interpreter rules this_ is_ one_ identifier
gives 'thisisoneidentifier'. Today atfer change you get
four separate identifiers: 'this ', 'is ', 'one ' and 'identifier'.
This is because I put multiple spaces and interpreter ignored
the whole sequence of spaces. Yesteday your example gave
'thisisoneidentifier', today 'this is one identifier'.
Yes, I hope nobody will use such identifires needlessly.
However, somtimes they may be useful. In 'tex.spad.pamphlet'
we have:
op = '_ => " \ "
This is IMHO sensible use: op is a symbol representing separator
between element. Space means that space should appear in
the output. Of course, one can write the able as:
op = " "::Symbol => " \ "
but I do not want to disallow first version.
However the other difference is that with yesterday rules code like:
if x then y_
else z
was read as:
if x then yelse z
that is interprter thought that you wrote 'yelse'. Trying to use
this would be IMHO very undesible.
> In fact, I thinnk, like in Aldor it should be possible (in Spad and
> interpreter) to just import a single function from some domain like
>
> import foo: % -> % from DomX
>
> Do you have any plan to enable this? I think I've see the
> "import from ..." form in OpenAxiom code so maybe Gaby could point to
> the particular patches that enable such a feature.
>
Plans yes. However currently in some places Spad compiler
automatically imports various domains. Without disabling
this automatic import the 'single function import' IMHO
make no sense. But currently algebra depends on this
automatic import. From point of view of a purist one
should disable automatic imports and fix algebra.
But ATM I am not sure what is the best way...
--
Waldek Hebisch
[email protected]
--
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.
