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

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

1 2 3 4
Editor: kratt6
Time: 2007/12/20 01:22:44 GMT-8
Note:

added:

From kratt6 Thu Dec 20 01:22:44 -0800 2007
From: kratt6
Date: Thu, 20 Dec 2007 01:22:44 -0800
Subject: 
Message-ID: <20071220012244-0800@axiom-wiki.newsynthesis.org>

Category: Axiom Mathematics => Axiom Interpreter 


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

Status: open => need more info

is when mentioned in the documentation?

Category: Axiom Mathematics => Axiom Interpreter