login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #43 when is broken revision 1 of 4

1 2 3 4
Editor:
Time: 2007/11/17 22:57:13 GMT-8
Note:

changed:
-
Originally Savannah bug #6490

The NAG interpreter and the Axiom interpreter do not
accept the when and otherwise verbs when defining
piecewise functions.

There are no library operations named 'when'

\begin{axiom}
ch : Integer -> UnivariatePolynomial(x,FRAC(INT))
ch(0) == 1
ch(1) == x
ch(n) == 2 * x * ch(n-1) - ch(n-2) when n > 1
ch(2)
\end{axiom}

The parser is broken

Submitted by : (unknown) at: 2007-11-17T22:57:13-08:00 (17 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

Originally Savannah bug #6490

The NAG interpreter and the Axiom interpreter do not accept the when and otherwise verbs when defining piecewise functions.

There are no library operations named when

axiom
ch : Integer -> UnivariatePolynomial(x,FRAC(INT))
Type: Void
axiom
ch(0) == 1
Type: Void
axiom
ch(1) == x
Type: Void
axiom
ch(n) == 2 * x * ch(n-1) - ch(n-2) when n > 1
Type: Void
axiom
ch(2) There are no library operations named when Use HyperDoc Browse or issue )what op when to learn if there is any operation containing " when " in its name. Cannot find a definition or applicable library operation named when with argument type(s) Integer Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. FriCAS will attempt to step through and interpret the code.
axiom
Compiling function ch with type Integer -> UnivariatePolynomial(x,
      Fraction Integer) 
   There are no library operations named when 
      Use HyperDoc Browse or issue
                                )what op when
      to learn if there is any operation containing " when " in its 
      name.
   Cannot find a definition or applicable library operation named when 
      with argument type(s) 
                                   Integer
      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

The parser is broken