1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
document {
Key => {numeric,(numeric,Matrix),(numeric,ZZ,Matrix),
(numeric, Vector),(numeric, ZZ, Vector),
(numeric, ZZ, CC), (numeric, RR), (numeric, RRi),
(numeric, ZZ, RRi),
(numeric, CC), (numeric, ZZ, VisibleList),
(numeric, VisibleList), (numeric, ZZ, Constant), (numeric, Constant),
(numeric, InfiniteNumber, Constant),
(numeric, ZZ, Number), (numeric, Number),
(numeric, ZZ, InfiniteNumber),(numeric, InfiniteNumber),
(numeric, ZZ, IndeterminateNumber), (numeric, IndeterminateNumber)},
Headline => "convert to floating point",
Usage => "numeric x\nnumeric(prec,x)\nnumeric_prec x",
Inputs => {
"x",
"prec" => ZZ => {"the number of bits of precision to use in the computation"}
},
Outputs => {{ "the expression obtained from ", TT "x", " by converting the
integers, rational numbers, and symbolic constants within it
to double floating point numbers."}},
EXAMPLE {"x = {1,2/3,pi}","numeric oo","numeric_200 pi","numeric_100 oo"},
SeeAlso => { RR, CC, Constant }}
document {
Key => odd,
Headline => "tell whether an integer is odd",
TT "odd x", " -- returns true or false, tells whether x is an odd integer.",
PARA{},
"See also ", TO "even", "."}
document {
Key => even,
Headline => "tell whether an integer is even",
TT "even x", " -- returns true or false, tells whether x is an even integer.",
PARA{},
"See also ", TO "odd", "."}
document {
Key => {realPart, (realPart,Number), (realPart,QQ), (realPart,ZZ),
(realPart,InexactNumber)},
Headline => "real part",
Usage => "realPart z",
Inputs => {"z" => "an integer, rational, real or complex number"},
Outputs => {"the real part of the complex number z."},
EXAMPLE {
"realPart(3/4)",
"realPart(1.5+2*ii)"
},
SeeAlso => {CC, imaginaryPart}
}
document {
Key => {imaginaryPart,(imaginaryPart,Number), (imaginaryPart,QQ),
(imaginaryPart,ZZ), (imaginaryPart,InexactNumber)},
Headline => "imaginary part",
Usage => "imaginaryPart z",
Inputs => {"z" => "an integer, rational, real or complex number"},
Outputs => {"the imaginary part of the complex number z."},
EXAMPLE {
"imaginaryPart(3/4)",
"imaginaryPart(1.5+2*ii)"
},
SeeAlso => {CC, realPart}
}
document {
Key => {conjugate,(conjugate,CC),(conjugate,Number),(conjugate,Constant)},
Headline => "complex conjugate",
Usage => "conjugate z",
Inputs => {"z"},
Outputs => {CC => {"the complex conjugate of ", TT "z"}},
EXAMPLE {
"conjugate(1+2.5*ii)",
"conjugate 3"
}
}
document {
Key => {gcdCoefficients,(gcdCoefficients, RingElement, RingElement),(gcdCoefficients, ZZ, ZZ)},
Headline => "gcd with coefficients",
TT "gcdCoefficients(a,b)", " -- returns ", TT "{d,r,s}", " so that
", TT"a*r + b*s", " is the greatest common divisor ", TT "d", " of ", TT "a", "
and ", TT "b", ".",
PARA{},
"Works for integers or elements of polynomial rings in onve variable.",
SeeAlso => "gcd"}
document {
Key => mod,
Headline => "reduce modulo an integer",
Usage => "mod(i,n)",
Inputs => {
"i" => ZZ,
"n" => ZZ },
Outputs => {
ZZ => { "the integer ", TT "i", " modulo ", TT "n", ", as an element of ", TT "ZZ/n", "." }
},
SeeAlso => {(symbol %, ZZ, ZZ)}
}
|
