help links subscribe changes refresh edit

	IssueTracker
#429 Description of IndexedExponents in HyperDoc ←	↑	→ #430 Bad compilation of Spad code due to `nested' one-armed if-statement

#43 when is broken

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

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

axiomch(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