Numbers in STACK
Separate pages document
Precise Constants
In Maxima the special constants are defined to be
%i, %e, %pi
etc. STACK also uses single letters, e.g.
e: %e
pi: %pi
Optionally, depending on the question settings, you have
i: %i
j: %i
Sometimes you need to use , or other constants, as an abstract symbol not a number. The Maxima solution is to use the kill()
command, but for security reasons users of STACK are not permitted to use this function. Instead use stack_reset_vars(true)
in the question variables. This resets all the special constants defined by STACK so the symbols can be redefined in an individual STACK question. (On Maxima 5.42.1 (and possibly others) stack_reset_vars(true)
also resets ordergreat
, so if you need to use stack_reset_vars(true)
it must be the first command in the question variables. Since this has been fixed in Maxima 5.44.0, it was probably a bug in Maxima.)
If you want to change the display of the constant you need to refer to the %e%
value, e.g. texput(%e, "\mathrm{e}");
.
Modular arithmetic
The function recursemod(ex, n)
recurses over an expression tree, and applies the function mod(?, n)
to any numbers as identified by numberp
. This works on any expression, whereas polymod
only applies to polynomials.
Internal representation of numbers
Maxima has two data types to represent numbers: integers and floats. Rational numbers are expressed as a division of two integers not with a dedicated data type, and surds with fractional powers or the sqrt
function.
The option Surd for Square Root enables the question author to alter the way surds are displayed in STACK.
Similarly, complex numbers are not represented as a single object, but as a sum of real and imaginary parts, or via the exponential function. The input and display of complex numbers is difficult, since differences exist between mathematics, physics and engineering about which symbols to use. The option sqrt(-1) is set in each question to sort out meaning and display.
Floating point numbers
- To convert to a float use Maxima's
float(ex)
command. - To convert a float to an exact representation use
rat(x)
to rationalise the decimal.
The variable has been defined as e:exp(1)
. This now potentially conflicts with scientific notation 2e3
which means 2*10^3
.
If you expect students to use scientific notation for numbers, e.g. 3e4
(which means ), then you may want to use the option for strict syntax.
Internally Maxima represents floats in binary, and so even simple calculations which would be exact in base ten (e.g. adding 0.16 to 0.12) might end up in a recurring decimal float which is not exactly equal to the result you would type in directly.
Try 452-4.52*10^2
in desktop Maxima, which is not zero, therefore ATAlgEquiv(452,4.52*10^2)
fails. (Maxima 5.44.0, November 2022). ends up with recurring 9s when represented as a binary float, so it is not algebraically equivalent to the integer .
Rounding like this can also occur in calculations, for example
p1:0.29;
p2:0.18;
p3:0.35;
v0:1-(p1+p2+p3);
v1:0.18;
Then Maxima returns 0.18
for v0
, (as expected) but v0-v1
equals and so ATAlgEquiv(v0,v1)
will give false. Please always use a numerical test when testing floats.
As another example, try 100.4-80.0;
in a desktop Maxima session.
Maxima and floats with trailing zeros
For its internal representation, Maxima always truncates trailing zeros from a floating point number. For example, the Maxima expression 0.01000
will be converted internally to 0.01
. Actually this is a byproduct of the process of converting a decimal input to an internal binary float, and back again. Similarly, when a number is a "float" data type, Maxima always prints at least one decimal digit to indicate the number is a float. For example, the floating point representation of the number ten is . This does not indicate significant figures, rather it indicates data type. In situations where the number of significant figures is crucial this is problematic.
Display of numbers in STACK is controlled with LaTeX, and the underlying LISP provides flexible ways to represent numbers.
Note, that apart from the units input, all other input types truncate the display of unnecessary trailing zeros in floating point numbers, loosing information about significant figures. So, when the student's answer is a floating point number, trailing zeros will not be displayed. If you want to specifically test for significant figures, use the units input type, with the teacher's answer having no units. The units input type should display the same number of significant figures as typed in by the student.
Display of numbers with LaTeX
The display of numbers is controlled by Maxima's texnumformat
command, which STACK modifies.
Stack provides two variables to control the display of integers and floats respectively. The default values are
stackintfmt:"~d";
stackfltfmt:"~a";
These two variables control the output format of integers (identified by the predicate integerp
) and floats (identified by the predicate floatnump
) respectively. These variables persist, so you need to define their values each time you expect them to change.
These variables must be assigned a string following Maxima's printf
format.
These variables can be defined in the question variables, for global effect. They can also be defined inside a Maxima block to control the display on the fly, and for individual expressions. For example, consider the following CASText.
The decimal number {@n:73@} is written in base \(2\) as {@(stackintfmt:"~2r",n)@}, in base \(7\) as {@(stackintfmt:"~7r",n)@}, in scientific notation as {@(stackintfmt:"~e",n)@} and in rhetoric as {@(stackintfmt:"~r",n)@}.
The result should be "The decimal number is written in base as , in base as , in scientific notation as and in rhetoric as ."
To force all floating point numbers to scientific notation use
stackfltfmt:"~e";
To force all floating point numbers to decimal floating point numbers use
stackfltfmt:"~f";
You can also force all integers to be displayed as floating point decimals or in scientific notation using stackintfmt
and the appropriate template. This function calls the LISP format
function, which is complex and more example are available online elsewhere.
Template | Input | TeX Output | Description/notes |
---|---|---|---|
"~,4f" |
0.12349 |
Output four decimal places: floating point. | |
0.12345 |
Note the rounding. | ||
0.12 |
|||
"~,5e" |
100.34 |
Output five decimal places: scientific notation. | |
"~:d" |
10000000 |
Separate decimal groups of three digits with commas. | |
~r |
9 |
Rhetoric. | |
~:r |
9 |
Ordinal rhetoric. | |
~7r |
9 |
Base 7. | |
~@r |
9 |
Roman numerals. | |
~:@r |
9 |
Old style Roman numerals. |
There are many other options within the LISP format command. Please note with the rhetoric and Roman numerals that the numbers will be in LaTeX mathematics environments.
Note that the @
symbol is currently not parsed correctly inside strings within CASText. That is to say, you cannot currently type {@(stackintfmt:"~@r",4)@}
into CASText. This is a known bug. To avoid this problem, define a variable in the question variables (e.g. roman:"~@r";
) and use the variable name in the CASText (e.g. {@(stackintfmt:roman,4)@}
).
Maxima has a separate system for controlling the number of decimal digits used in calculations and when printing the value of computed results. Trailing zeros will not be printed with the value. This is controlled by Maxima's fpprec
and fpprintprec
variables. The default for STACK is
fpprec:20, /* Work with 20 digits. */
fpprintprec:12, /* Print only 12 digits. */
Changing the decimal separator, e.g. using a comma for separating decimals
STACK now supports a mechanism for changing the decimal separator and using a comma for separating decimals. A question level option can be used to choose ,
or .
as the decimal separator. For finer control in other parts of the question, just set the variable
stackfltsep:",";
The global variables stackfltfmt
and stackfltsep
should have independent effects.
If you use the option for a comma then items in sets, lists and as arguments to functions will no longer be separated by a comma. To avoid conflicting notation, items will be separated by a semicolon (;
).
If you separate decimal groups of digits with commas, e.g. if stackfltfmt:"~:d"
, then these commas are replaced by spaces to avoid ambiguity. The replacement of commas occurs in integers as well as floats to make sure commas in integers cause no confusion.
Notes about numerical rounding
There are two ways to round numbers ending in a digit .
- Always round up, so that , , etc.
- Another common system is to use ``Bankers' Rounding". Bankers Rounding is an algorithm for rounding quantities to integers, in which numbers which are equidistant from the two nearest integers are rounded to the nearest even integer. , , etc. The supposed advantage to bankers rounding is that in the limit it is unbiased, and so produces better results with some statistical processes that involve rounding.
- In experimental work, the number of significant figures requires sometimes depends on the first digits of the number. For example, if the first digit is a or then we need to take an extra significant figure to ensure the relative error is suitably small. The maxima string functions can be used to check the first digit of a number until we have bespoke internal functions to make this check.
Maxima's round(ex)
command rounds multiples of 1/2 to the nearest even integer, i.e. Maxima implements Bankers' Rounding. We do not currently have an option to always round up.
STACK has defined the function significantfigures(x,n)
to conform to convention of rounding up.
STACK numerical functions and predicates
The following commands which are relevant to manipulation of numbers are defined by STACK.
Command | Description |
---|---|
significantfigures(x,n) |
Truncate to significant figures (does perform rounding). |
decimalplaces(x,n) |
Truncate to decimal places (does perform rounding). |
commonfaclist(l) |
Returns the highest common factors of a list of numbers. |
list_expression_numbers(ex) |
Create a list with all parts for which numberp(ex)=true . |
coeff_list(ex,v) |
This function takes an expression and returns a list of coefficients of . |
coeff_list_nz(ex,v) |
This function takes an expression and returns a list of nonzero coefficients of . |
numabsolutep(sa,ta,tol) |
Is within of ? I.e. ( |
numrelativep(sa,ta,tol) |
Is within of ? I.e. ( |
The following commands generate displayed forms of numbers. These will not be manipulated further automatically, so you will need to use these at the last moment, e.g. only when generating the teacher's answer etc.
Command | Description |
---|---|
dispdp(x,n) |
Truncate to decimal places and display with trailing digits. Note, this always prints as a float (or integer), and not in scientific notation. |
dispsf(x,n) |
Truncate to significant figures and display with trailing digits. Note, this always prints as a float, and not in scientific notation. |
scientific_notation(x,n) |
Write in the form . Only works reliably with simp:false (e.g. try 9000). The optional second argument applies displaysci(m,n) to the mantissa to control the display of trailing zeros. |
displaydp(x,n) |
An inert internal function to record that should be displayed to decimal places with trailing digits. This function does no rounding. |
displaysci(x,n,expo) |
An inert internal function to record that should be displayed to decimal places with trailing digits, in scientific notation. E.g. . |
Function | Predicate |
---|---|
simp_numberp(ex) |
Fixes numberp(ex) for simp:false . |
real_numberp(ex) |
Determines if is a real number. This includes surds and symbolic numbers such as . |
lowesttermsp(ex) |
Is the rational expression in its lowest terms? |
anyfloatex(ex) |
Decides if any floats are in the expression. |
scientific_notationp(ex) |
Determines if is written in the form where is an integer or float, and is an integer. |