Arbitrary integer constant ?

[Terje Vallestad]

(09-04-2015 05:51 PM)pwarmuth Wrote:  How did you ever figure this out,? It does not appear to be documented. integer likewise does not show up in the catalog.

Without you pointing this out, I would have never been able to figure this out. What other keywords are available for use with the assume() command?

Not so much help but a pointer, the on-calculator help for additionally() has the specific reference to assume(n,integer)

Code:


Syntax: additionally(Expr) 
Used in programming with assume( ) to state an additional assumption about a variable.
Example: assume(n,integer); additionally(n>5); ➔ [DOM_INT, n]

the on-calculator help for assume() states

Code:


Syntax: assume(Expr) 
Make an assumption on a variable. 
Example: assume(a>0) ➔ a . Now solve(a^2=9,a) will return {3} instead of {-3,3}.

Cheers, Terje