On Tue, May 24, 2022 at 12:26:03PM +0200, Ralf Hemmecke wrote:
> I guess
> 1) the "by 2" should not be ignored.
> 2) "2.. by 2" should be counted as a correct expression for a
> UniversalSegment.
<snip>
> List(OrderedVariableList([a,b,c,d,e,f,g,h,i,j]))
> (17) -> l(2.. by 2)
> There are no library operations named BY having 1 argument(s) though
> there are 1 exposed operation(s) and 0 unexposed operation(s)
> having a different number of arguments. Use HyperDoc Browse, or
> issue
> )what op BY
> to learn what operations contain " BY " in their names, or issue
> )display op BY
> to learn more about the available operations.
>
> Cannot find a definition or applicable library operation named BY
> with argument type(s)
> PositiveInteger
>
> Perhaps you should use "@" to indicate the required return type,
> or "$" to specify which version of the function you need.
As I wrote, this was parsing problem. It is fixed now.
However, looking at 'cparse.boot' I think that is fundamentally
wrong. Or, to say it differently it works on different principle
than old parser which is some (somewhat uncommon) cases leads
to different (IMO wrong) parse. Namely, old parser is based on
opertor priorities. This agrees with common way to parse
expressions. 'cparse.boot' is organized differently, using
hierarhy of functions to encode priorites. However, with
many priority levels and complex priorites (left and right
times Led and Nud) one would get very comples hierarhy.
'cparse.boot' plays clever tricks to essentially compress
hierarhy to much simpler thing, but unfortunatly, this does
not agree with priorities.
I guess we should give higher priority to replacing 'cparse.boot'
by old parser...
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/20220605223157.GA19039%40fricas.math.uni.wroc.pl.
