big
packagestandard libraryThis package is not in the latest version of its module.
Details
Validgo.mod file
The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license
Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version
Modules with tagged versions give importers more predictable builds.
Stable version
When a project reaches major version v1 it is considered stable.
- Learn more about best practices
Repository
Links
Documentation¶
Overview¶
Package big implements arbitrary-precision arithmetic (big numbers).The following numeric types are supported:
Int signed integersRat rational numbersFloat floating-point numbers
The zero value for anInt,Rat, orFloat correspond to 0. Thus, newvalues can be declared in the usual ways and denote 0 without furtherinitialization:
var x Int // &x is an *Int of value 0var r = &Rat{} // r is a *Rat of value 0y := new(Float) // y is a *Float of value 0Alternatively, new values can be allocated and initialized with factoryfunctions of the form:
func NewT(v V) *T
For instance,NewInt(x) returns an *Int set to the value of the int64argument x,NewRat(a, b) returns a *Rat set to the fraction a/b wherea and b are int64 values, andNewFloat(f) returns a *Float initializedto the float64 argument f. More flexibility is provided with explicitsetters, for instance:
var z1 Intz1.SetUint64(123) // z1 := 123z2 := new(Rat).SetFloat64(1.25) // z2 := 5/4z3 := new(Float).SetInt(z1) // z3 := 123.0
Setters, numeric operations and predicates are represented as methods ofthe form:
func (z *T) SetV(v V) *T // z = vfunc (z *T) Unary(x *T) *T // z = unary xfunc (z *T) Binary(x, y *T) *T // z = x binary yfunc (x *T) Pred() P // p = pred(x)
with T one ofInt,Rat, orFloat. For unary and binary operations, theresult is the receiver (usually named z in that case; see below); if itis one of the operands x or y it may be safely overwritten (and its memoryreused).
Arithmetic expressions are typically written as a sequence of individualmethod calls, with each call corresponding to an operation. The receiverdenotes the result and the method arguments are the operation's operands.For instance, given three *Int values a, b and c, the invocation
c.Add(a, b)
computes the sum a + b and stores the result in c, overwriting whatevervalue was held in c before. Unless specified otherwise, operations permitaliasing of parameters, so it is perfectly ok to write
sum.Add(sum, x)
to accumulate values x in a sum.
(By always passing in a result value via the receiver, memory use can bemuch better controlled. Instead of having to allocate new memory for eachresult, an operation can reuse the space allocated for the result value,and overwrite that value with the new result in the process.)
Notational convention: Incoming method parameters (including the receiver)are named consistently in the API to clarify their use. Incoming operandsare usually named x, y, a, b, and so on, but never z. A parameter specifyingthe result is named z (typically the receiver).
For instance, the arguments for (*Int).Add are named x and y, and becausethe receiver specifies the result destination, it is called z:
func (z *Int) Add(x, y *Int) *Int
Methods of this form typically return the incoming receiver as well, toenable simple call chaining.
Methods which don't require a result value to be passed in (for instance,Int.Sign), simply return the result. In this case, the receiver is typicallythe first operand, named x:
func (x *Int) Sign() int
Various methods support conversions between strings and correspondingnumeric values, and vice versa: *Int, *Rat, and *Float values implementthe Stringer interface for a (default) string representation of the value,but also provide SetString methods to initialize a value from a string ina variety of supported formats (see the respective SetString documentation).
Finally, *Int, *Rat, and *Float satisfyfmt.Scanner for scanningand (except for *Rat) the Formatter interface for formatted printing.
Example (EConvergents)¶
This example demonstrates how to use big.Rat to compute thefirst 15 terms in the sequence of rational convergents forthe constant e (base of natural logarithm).
package mainimport ("fmt""math/big")// Use the classic continued fraction for e////e = [1; 0, 1, 1, 2, 1, 1, ... 2n, 1, 1, ...]//// i.e., for the nth term, use//// 1 if n mod 3 != 1//(n-1)/3 * 2 if n mod 3 == 1func recur(n, lim int64) *big.Rat {term := new(big.Rat)if n%3 != 1 {term.SetInt64(1)} else {term.SetInt64((n - 1) / 3 * 2)}if n > lim {return term}// Directly initialize frac as the fractional// inverse of the result of recur.frac := new(big.Rat).Inv(recur(n+1, lim))return term.Add(term, frac)}// This example demonstrates how to use big.Rat to compute the// first 15 terms in the sequence of rational convergents for// the constant e (base of natural logarithm).func main() {for i := 1; i <= 15; i++ {r := recur(0, int64(i))// Print r both as a fraction and as a floating-point number.// Since big.Rat implements fmt.Formatter, we can use %-13s to// get a left-aligned string representation of the fraction.fmt.Printf("%-13s = %s\n", r, r.FloatString(8))}}Output:2/1 = 2.000000003/1 = 3.000000008/3 = 2.6666666711/4 = 2.7500000019/7 = 2.7142857187/32 = 2.71875000106/39 = 2.71794872193/71 = 2.718309861264/465 = 2.718279571457/536 = 2.718283582721/1001 = 2.7182817223225/8544 = 2.7182818425946/9545 = 2.7182818249171/18089 = 2.71828183517656/190435 = 2.71828183
Example (Fibonacci)¶
This example demonstrates how to use big.Int to compute the smallestFibonacci number with 100 decimal digits and to test whether it is prime.
package mainimport ("fmt""math/big")func main() {// Initialize two big ints with the first two numbers in the sequence.a := big.NewInt(0)b := big.NewInt(1)// Initialize limit as 10^99, the smallest integer with 100 digits.var limit big.Intlimit.Exp(big.NewInt(10), big.NewInt(99), nil)// Loop while a is smaller than 1e100.for a.Cmp(&limit) < 0 {// Compute the next Fibonacci number, storing it in a.a.Add(a, b)// Swap a and b so that b is the next number in the sequence.a, b = b, a}fmt.Println(a) // 100-digit Fibonacci number// Test a for primality.// (ProbablyPrimes' argument sets the number of Miller-Rabin// rounds to be performed. 20 is a good value.)fmt.Println(a.ProbablyPrime(20))}Output:1344719667586153181419716641724567886890850696275767987106294472017884974410332069524504824747437757false
Example (Sqrt2)¶
This example shows how to use big.Float to compute the square root of 2 witha precision of 200 bits, and how to print the result as a decimal number.
package mainimport ("fmt""math""math/big")func main() {// We'll do computations with 200 bits of precision in the mantissa.const prec = 200// Compute the square root of 2 using Newton's Method. We start with// an initial estimate for sqrt(2), and then iterate:// x_{n+1} = 1/2 * ( x_n + (2.0 / x_n) )// Since Newton's Method doubles the number of correct digits at each// iteration, we need at least log_2(prec) steps.steps := int(math.Log2(prec))// Initialize values we need for the computation.two := new(big.Float).SetPrec(prec).SetInt64(2)half := new(big.Float).SetPrec(prec).SetFloat64(0.5)// Use 1 as the initial estimate.x := new(big.Float).SetPrec(prec).SetInt64(1)// We use t as a temporary variable. There's no need to set its precision// since big.Float values with unset (== 0) precision automatically assume// the largest precision of the arguments when used as the result (receiver)// of a big.Float operation.t := new(big.Float)// Iterate.for i := 0; i <= steps; i++ {t.Quo(two, x) // t = 2.0 / x_nt.Add(x, t) // t = x_n + (2.0 / x_n)x.Mul(half, t) // x_{n+1} = 0.5 * t}// We can use the usual fmt.Printf verbs since big.Float implements fmt.Formatterfmt.Printf("sqrt(2) = %.50f\n", x)// Print the error between 2 and x*x.t.Mul(x, x) // t = x*xfmt.Printf("error = %e\n", t.Sub(two, t))}Output:sqrt(2) = 1.41421356237309504880168872420969807856967187537695error = 0.000000e+00
Index¶
- Constants
- func Jacobi(x, y *Int) int
- type Accuracy
- type ErrNaN
- type Float
- func (z *Float) Abs(x *Float) *Float
- func (x *Float) Acc() Accuracy
- func (z *Float) Add(x, y *Float) *Float
- func (x *Float) Append(buf []byte, fmt byte, prec int) []byte
- func (x *Float) AppendText(b []byte) ([]byte, error)
- func (x *Float) Cmp(y *Float) int
- func (z *Float) Copy(x *Float) *Float
- func (x *Float) Float32() (float32, Accuracy)
- func (x *Float) Float64() (float64, Accuracy)
- func (x *Float) Format(s fmt.State, format rune)
- func (z *Float) GobDecode(buf []byte) error
- func (x *Float) GobEncode() ([]byte, error)
- func (x *Float) Int(z *Int) (*Int, Accuracy)
- func (x *Float) Int64() (int64, Accuracy)
- func (x *Float) IsInf() bool
- func (x *Float) IsInt() bool
- func (x *Float) MantExp(mant *Float) (exp int)
- func (x *Float) MarshalText() (text []byte, err error)
- func (x *Float) MinPrec() uint
- func (x *Float) Mode() RoundingMode
- func (z *Float) Mul(x, y *Float) *Float
- func (z *Float) Neg(x *Float) *Float
- func (z *Float) Parse(s string, base int) (f *Float, b int, err error)
- func (x *Float) Prec() uint
- func (z *Float) Quo(x, y *Float) *Float
- func (x *Float) Rat(z *Rat) (*Rat, Accuracy)
- func (z *Float) Scan(s fmt.ScanState, ch rune) error
- func (z *Float) Set(x *Float) *Float
- func (z *Float) SetFloat64(x float64) *Float
- func (z *Float) SetInf(signbit bool) *Float
- func (z *Float) SetInt(x *Int) *Float
- func (z *Float) SetInt64(x int64) *Float
- func (z *Float) SetMantExp(mant *Float, exp int) *Float
- func (z *Float) SetMode(mode RoundingMode) *Float
- func (z *Float) SetPrec(prec uint) *Float
- func (z *Float) SetRat(x *Rat) *Float
- func (z *Float) SetString(s string) (*Float, bool)
- func (z *Float) SetUint64(x uint64) *Float
- func (x *Float) Sign() int
- func (x *Float) Signbit() bool
- func (z *Float) Sqrt(x *Float) *Float
- func (x *Float) String() string
- func (z *Float) Sub(x, y *Float) *Float
- func (x *Float) Text(format byte, prec int) string
- func (x *Float) Uint64() (uint64, Accuracy)
- func (z *Float) UnmarshalText(text []byte) error
- type Int
- func (z *Int) Abs(x *Int) *Int
- func (z *Int) Add(x, y *Int) *Int
- func (z *Int) And(x, y *Int) *Int
- func (z *Int) AndNot(x, y *Int) *Int
- func (x *Int) Append(buf []byte, base int) []byte
- func (x *Int) AppendText(b []byte) (text []byte, err error)
- func (z *Int) Binomial(n, k int64) *Int
- func (x *Int) Bit(i int) uint
- func (x *Int) BitLen() int
- func (x *Int) Bits() []Word
- func (x *Int) Bytes() []byte
- func (x *Int) Cmp(y *Int) (r int)
- func (x *Int) CmpAbs(y *Int) int
- func (z *Int) Div(x, y *Int) *Int
- func (z *Int) DivMod(x, y, m *Int) (*Int, *Int)
- func (z *Int) Exp(x, y, m *Int) *Int
- func (x *Int) FillBytes(buf []byte) []byte
- func (x *Int) Float64() (float64, Accuracy)
- func (x *Int) Format(s fmt.State, ch rune)
- func (z *Int) GCD(x, y, a, b *Int) *Int
- func (z *Int) GobDecode(buf []byte) error
- func (x *Int) GobEncode() ([]byte, error)
- func (x *Int) Int64() int64
- func (x *Int) IsInt64() bool
- func (x *Int) IsUint64() bool
- func (z *Int) Lsh(x *Int, n uint) *Int
- func (x *Int) MarshalJSON() ([]byte, error)
- func (x *Int) MarshalText() (text []byte, err error)
- func (z *Int) Mod(x, y *Int) *Int
- func (z *Int) ModInverse(g, n *Int) *Int
- func (z *Int) ModSqrt(x, p *Int) *Int
- func (z *Int) Mul(x, y *Int) *Int
- func (z *Int) MulRange(a, b int64) *Int
- func (z *Int) Neg(x *Int) *Int
- func (z *Int) Not(x *Int) *Int
- func (z *Int) Or(x, y *Int) *Int
- func (x *Int) ProbablyPrime(n int) bool
- func (z *Int) Quo(x, y *Int) *Int
- func (z *Int) QuoRem(x, y, r *Int) (*Int, *Int)
- func (z *Int) Rand(rnd *rand.Rand, n *Int) *Int
- func (z *Int) Rem(x, y *Int) *Int
- func (z *Int) Rsh(x *Int, n uint) *Int
- func (z *Int) Scan(s fmt.ScanState, ch rune) error
- func (z *Int) Set(x *Int) *Int
- func (z *Int) SetBit(x *Int, i int, b uint) *Int
- func (z *Int) SetBits(abs []Word) *Int
- func (z *Int) SetBytes(buf []byte) *Int
- func (z *Int) SetInt64(x int64) *Int
- func (z *Int) SetString(s string, base int) (*Int, bool)
- func (z *Int) SetUint64(x uint64) *Int
- func (x *Int) Sign() int
- func (z *Int) Sqrt(x *Int) *Int
- func (x *Int) String() string
- func (z *Int) Sub(x, y *Int) *Int
- func (x *Int) Text(base int) string
- func (x *Int) TrailingZeroBits() uint
- func (x *Int) Uint64() uint64
- func (z *Int) UnmarshalJSON(text []byte) error
- func (z *Int) UnmarshalText(text []byte) error
- func (z *Int) Xor(x, y *Int) *Int
- type Rat
- func (z *Rat) Abs(x *Rat) *Rat
- func (z *Rat) Add(x, y *Rat) *Rat
- func (x *Rat) AppendText(b []byte) ([]byte, error)
- func (x *Rat) Cmp(y *Rat) int
- func (x *Rat) Denom() *Int
- func (x *Rat) Float32() (f float32, exact bool)
- func (x *Rat) Float64() (f float64, exact bool)
- func (x *Rat) FloatPrec() (n int, exact bool)
- func (x *Rat) FloatString(prec int) string
- func (z *Rat) GobDecode(buf []byte) error
- func (x *Rat) GobEncode() ([]byte, error)
- func (z *Rat) Inv(x *Rat) *Rat
- func (x *Rat) IsInt() bool
- func (x *Rat) MarshalText() (text []byte, err error)
- func (z *Rat) Mul(x, y *Rat) *Rat
- func (z *Rat) Neg(x *Rat) *Rat
- func (x *Rat) Num() *Int
- func (z *Rat) Quo(x, y *Rat) *Rat
- func (x *Rat) RatString() string
- func (z *Rat) Scan(s fmt.ScanState, ch rune) error
- func (z *Rat) Set(x *Rat) *Rat
- func (z *Rat) SetFloat64(f float64) *Rat
- func (z *Rat) SetFrac(a, b *Int) *Rat
- func (z *Rat) SetFrac64(a, b int64) *Rat
- func (z *Rat) SetInt(x *Int) *Rat
- func (z *Rat) SetInt64(x int64) *Rat
- func (z *Rat) SetString(s string) (*Rat, bool)
- func (z *Rat) SetUint64(x uint64) *Rat
- func (x *Rat) Sign() int
- func (x *Rat) String() string
- func (z *Rat) Sub(x, y *Rat) *Rat
- func (z *Rat) UnmarshalText(text []byte) error
- type RoundingMode
- type Word
Examples¶
Constants¶
const (MaxExp =math.MaxInt32// largest supported exponentMinExp =math.MinInt32// smallest supported exponentMaxPrec =math.MaxUint32// largest (theoretically) supported precision; likely memory-limited)
Exponent and precision limits.
const MaxBase = 10 + ('z' - 'a' + 1) + ('Z' - 'A' + 1)MaxBase is the largest number base accepted for string conversions.
Variables¶
This section is empty.
Functions¶
Types¶
typeAccuracy¶added ingo1.5
type Accuracyint8
Accuracy describes the rounding error produced by the most recentoperation that generated aFloat value, relative to the exact value.
typeErrNaN¶added ingo1.5
type ErrNaN struct {// contains filtered or unexported fields}An ErrNaN panic is raised by aFloat operation that would lead toa NaN under IEEE 754 rules. An ErrNaN implements the error interface.
typeFloat¶added ingo1.5
type Float struct {// contains filtered or unexported fields}A nonzero finite Float represents a multi-precision floating point number
sign × mantissa × 2**exponent
with 0.5 <= mantissa < 1.0, and MinExp <= exponent <= MaxExp.A Float may also be zero (+0, -0) or infinite (+Inf, -Inf).All Floats are ordered, and the ordering of two Floats x and yis defined by x.Cmp(y).
Each Float value also has a precision, rounding mode, and accuracy.The precision is the maximum number of mantissa bits available torepresent the value. The rounding mode specifies how a result shouldbe rounded to fit into the mantissa bits, and accuracy describes therounding error with respect to the exact result.
Unless specified otherwise, all operations (including setters) thatspecify a *Float variable for the result (usually via the receiverwith the exception ofFloat.MantExp), round the numeric result accordingto the precision and rounding mode of the result variable.
If the provided result precision is 0 (see below), it is set to theprecision of the argument with the largest precision value before anyrounding takes place, and the rounding mode remains unchanged. Thus,uninitialized Floats provided as result arguments will have theirprecision set to a reasonable value determined by the operands, andtheir mode is the zero value for RoundingMode (ToNearestEven).
By setting the desired precision to 24 or 53 and using matching roundingmode (typicallyToNearestEven), Float operations produce the same resultsas the corresponding float32 or float64 IEEE 754 arithmetic for operandsthat correspond to normal (i.e., not denormal) float32 or float64 numbers.Exponent underflow and overflow lead to a 0 or an Infinity for differentvalues than IEEE 754 because Float exponents have a much larger range.
The zero (uninitialized) value for a Float is ready to use and representsthe number +0.0 exactly, with precision 0 and rounding modeToNearestEven.
Operations always take pointer arguments (*Float) ratherthan Float values, and each unique Float value requiresits own unique *Float pointer. To "copy" a Float value,an existing (or newly allocated) Float must be set toa new value using theFloat.Set method; shallow copiesof Floats are not supported and may lead to errors.
Example (Shift)¶
package mainimport ("fmt""math/big")func main() {// Implement Float "shift" by modifying the (binary) exponents directly.for s := -5; s <= 5; s++ {x := big.NewFloat(0.5)x.SetMantExp(x, x.MantExp(nil)+s) // shift x by sfmt.Println(x)}}Output:0.0156250.031250.06250.1250.250.5124816
funcNewFloat¶added ingo1.5
NewFloat allocates and returns a newFloat set to x,with precision 53 and rounding modeToNearestEven.NewFloat panics withErrNaN if x is a NaN.
funcParseFloat¶added ingo1.5
ParseFloat is like f.Parse(s, base) with f set to the given precisionand rounding mode.
func (*Float)Abs¶added ingo1.5
Abs sets z to the (possibly rounded) value |x| (the absolute value of x)and returns z.
func (*Float)Acc¶added ingo1.5
Acc returns the accuracy of x produced by the most recentoperation, unless explicitly documented otherwise by thatoperation.
func (*Float)Add¶added ingo1.5
Add sets z to the rounded sum x+y and returns z. If z's precision is 0,it is changed to the larger of x's or y's precision before the operation.Rounding is performed according to z's precision and rounding mode; andz's accuracy reports the result error relative to the exact (not rounded)result. Add panics withErrNaN if x and y are infinities with oppositesigns. The value of z is undefined in that case.
Example¶
package mainimport ("fmt""math/big")func main() {// Operate on numbers of different precision.var x, y, z big.Floatx.SetInt64(1000) // x is automatically set to 64bit precisiony.SetFloat64(2.718281828) // y is automatically set to 53bit precisionz.SetPrec(32)z.Add(&x, &y)fmt.Printf("x = %.10g (%s, prec = %d, acc = %s)\n", &x, x.Text('p', 0), x.Prec(), x.Acc())fmt.Printf("y = %.10g (%s, prec = %d, acc = %s)\n", &y, y.Text('p', 0), y.Prec(), y.Acc())fmt.Printf("z = %.10g (%s, prec = %d, acc = %s)\n", &z, z.Text('p', 0), z.Prec(), z.Acc())}Output:x = 1000 (0x.fap+10, prec = 64, acc = Exact)y = 2.718281828 (0x.adf85458248cd8p+2, prec = 53, acc = Exact)z = 1002.718282 (0x.faadf854p+10, prec = 32, acc = Below)
func (*Float)Append¶added ingo1.5
Append appends to buf the string form of the floating-point number x,as generated by x.Text, and returns the extended buffer.
func (*Float)AppendText¶added ingo1.24.0
AppendText implements theencoding.TextAppender interface.Only theFloat value is marshaled (in full precision), otherattributes such as precision or accuracy are ignored.
func (*Float)Cmp¶added ingo1.5
Cmp compares x and y and returns:
- -1 if x < y;
- 0 if x == y (incl. -0 == 0, -Inf == -Inf, and +Inf == +Inf);
- +1 if x > y.
Example¶
package mainimport ("fmt""math""math/big")func main() {inf := math.Inf(1)zero := 0.0operands := []float64{-inf, -1.2, -zero, 0, +1.2, +inf}fmt.Println(" x y cmp")fmt.Println("---------------")for _, x64 := range operands {x := big.NewFloat(x64)for _, y64 := range operands {y := big.NewFloat(y64)fmt.Printf("%4g %4g %3d\n", x, y, x.Cmp(y))}fmt.Println()}}Output: x y cmp----------------Inf -Inf 0-Inf -1.2 -1-Inf -0 -1-Inf 0 -1-Inf 1.2 -1-Inf +Inf -1-1.2 -Inf 1-1.2 -1.2 0-1.2 -0 -1-1.2 0 -1-1.2 1.2 -1-1.2 +Inf -1 -0 -Inf 1 -0 -1.2 1 -0 -0 0 -0 0 0 -0 1.2 -1 -0 +Inf -1 0 -Inf 1 0 -1.2 1 0 -0 0 0 0 0 0 1.2 -1 0 +Inf -1 1.2 -Inf 1 1.2 -1.2 1 1.2 -0 1 1.2 0 1 1.2 1.2 0 1.2 +Inf -1+Inf -Inf 1+Inf -1.2 1+Inf -0 1+Inf 0 1+Inf 1.2 1+Inf +Inf 0
func (*Float)Copy¶added ingo1.5
Copy sets z to x, with the same precision, rounding mode, and accuracy as x.Copy returns z. If x and z are identical, Copy is a no-op.
Example¶
package mainimport ("fmt""math/big")func main() {var x, z big.Floatx.SetFloat64(1.23)r := z.Copy(&x)fmt.Printf("a) r = %g, z = %g, x = %g, r == z = %v\n", r, &z, &x, r == &z)// changing z changes r since they are identicalz.SetInt64(42)fmt.Printf("b) r = %g, z = %g, r == z = %v\n", r, &z, r == &z)x.SetPrec(1)z.Copy(&x)fmt.Printf("c) z = %g, x = %g, z == x = %v\n", &z, &x, &z == &x)}Output:a) r = 1.23, z = 1.23, x = 1.23, r == z = trueb) r = 42, z = 42, r == z = truec) z = 1, x = 1, z == x = false
func (*Float)Float32¶added ingo1.5
Float32 returns the float32 value nearest to x. If x is too small to berepresented by a float32 (|x| <math.SmallestNonzeroFloat32), the resultis (0,Below) or (-0,Above), respectively, depending on the sign of x.If x is too large to be represented by a float32 (|x| >math.MaxFloat32),the result is (+Inf,Above) or (-Inf,Below), depending on the sign of x.
func (*Float)Float64¶added ingo1.5
Float64 returns the float64 value nearest to x. If x is too small to berepresented by a float64 (|x| <math.SmallestNonzeroFloat64), the resultis (0,Below) or (-0,Above), respectively, depending on the sign of x.If x is too large to be represented by a float64 (|x| >math.MaxFloat64),the result is (+Inf,Above) or (-Inf,Below), depending on the sign of x.
func (*Float)Format¶added ingo1.5
Format implementsfmt.Formatter. It accepts all the regularformats for floating-point numbers ('b', 'e', 'E', 'f', 'F','g', 'G', 'x') as well as 'p' and 'v'. See (*Float).Text for theinterpretation of 'p'. The 'v' format is handled like 'g'.Format also supports specification of the minimum precisionin digits, the output field width, as well as the format flags'+' and ' ' for sign control, '0' for space or zero padding,and '-' for left or right justification. See the fmt packagefor details.
func (*Float)GobDecode¶added ingo1.7
GobDecode implements theencoding/gob.GobDecoder interface.The result is rounded per the precision and rounding mode ofz unless z's precision is 0, in which case z is set exactlyto the decoded value.
func (*Float)GobEncode¶added ingo1.7
GobEncode implements theencoding/gob.GobEncoder interface.TheFloat value and all its attributes (precision,rounding mode, accuracy) are marshaled.
func (*Float)Int¶added ingo1.5
Int returns the result of truncating x towards zero;or nil if x is an infinity.The result isExact if x.IsInt(); otherwise it isBelowfor x > 0, andAbove for x < 0.If a non-nil *Int argument z is provided,Int storesthe result in z instead of allocating a newInt.
func (*Float)Int64¶added ingo1.5
Int64 returns the integer resulting from truncating x towards zero.Ifmath.MinInt64 <= x <=math.MaxInt64, the result isExact if x isan integer, andAbove (x < 0) orBelow (x > 0) otherwise.The result is (math.MinInt64,Above) for x <math.MinInt64,and (math.MaxInt64,Below) for x >math.MaxInt64.
func (*Float)MantExp¶added ingo1.5
MantExp breaks x into its mantissa and exponent componentsand returns the exponent. If a non-nil mant argument isprovided its value is set to the mantissa of x, with thesame precision and rounding mode as x. The componentssatisfy x == mant × 2**exp, with 0.5 <= |mant| < 1.0.Calling MantExp with a nil argument is an efficient way toget the exponent of the receiver.
Special cases are:
( ±0).MantExp(mant) = 0, with mant set to ±0(±Inf).MantExp(mant) = 0, with mant set to ±Inf
x and mant may be the same in which case x is set to itsmantissa value.
func (*Float)MarshalText¶added ingo1.6
MarshalText implements theencoding.TextMarshaler interface.Only theFloat value is marshaled (in full precision), otherattributes such as precision or accuracy are ignored.
func (*Float)MinPrec¶added ingo1.5
MinPrec returns the minimum precision required to represent x exactly(i.e., the smallest prec before x.SetPrec(prec) would start rounding x).The result is 0 for |x| == 0 and |x| == Inf.
func (*Float)Mode¶added ingo1.5
func (x *Float) Mode()RoundingMode
Mode returns the rounding mode of x.
func (*Float)Mul¶added ingo1.5
Mul sets z to the rounded product x*y and returns z.Precision, rounding, and accuracy reporting are as forFloat.Add.Mul panics withErrNaN if one operand is zero and the otheroperand an infinity. The value of z is undefined in that case.
func (*Float)Neg¶added ingo1.5
Neg sets z to the (possibly rounded) value of x with its sign negated,and returns z.
func (*Float)Parse¶added ingo1.5
Parse parses s which must contain a text representation of a floating-point number with a mantissa in the given conversion base (the exponentis always a decimal number), or a string representing an infinite value.
For base 0, an underscore character “_” may appear between a baseprefix and an adjacent digit, and between successive digits; suchunderscores do not change the value of the number, or the returneddigit count. Incorrect placement of underscores is reported as anerror if there are no other errors. If base != 0, underscores arenot recognized and thus terminate scanning like any other characterthat is not a valid radix point or digit.
It sets z to the (possibly rounded) value of the corresponding floating-point value, and returns z, the actual base b, and an error err, if any.The entire string (not just a prefix) must be consumed for success.If z's precision is 0, it is changed to 64 before rounding takes effect.The number must be of the form:
number = [ sign ] ( float | "inf" | "Inf" ) .sign = "+" | "-" .float = ( mantissa | prefix pmantissa ) [ exponent ] .prefix = "0" [ "b" | "B" | "o" | "O" | "x" | "X" ] .mantissa = digits "." [ digits ] | digits | "." digits .pmantissa = [ "_" ] digits "." [ digits ] | [ "_" ] digits | "." digits .exponent = ( "e" | "E" | "p" | "P" ) [ sign ] digits .digits = digit { [ "_" ] digit } .digit = "0" ... "9" | "a" ... "z" | "A" ... "Z" .The base argument must be 0, 2, 8, 10, or 16. Providing an invalid baseargument will lead to a run-time panic.
For base 0, the number prefix determines the actual base: A prefix of“0b” or “0B” selects base 2, “0o” or “0O” selects base 8, and“0x” or “0X” selects base 16. Otherwise, the actual base is 10 andno prefix is accepted. The octal prefix "0" is not supported (a leading"0" is simply considered a "0").
A "p" or "P" exponent indicates a base 2 (rather than base 10) exponent;for instance, "0x1.fffffffffffffp1023" (using base 0) represents themaximum float64 value. For hexadecimal mantissae, the exponent charactermust be one of 'p' or 'P', if present (an "e" or "E" exponent indicatorcannot be distinguished from a mantissa digit).
The returned *Float f is nil and the value of z is valid but notdefined if an error is reported.
func (*Float)Prec¶added ingo1.5
Prec returns the mantissa precision of x in bits.The result may be 0 for |x| == 0 and |x| == Inf.
func (*Float)Quo¶added ingo1.5
Quo sets z to the rounded quotient x/y and returns z.Precision, rounding, and accuracy reporting are as forFloat.Add.Quo panics withErrNaN if both operands are zero or infinities.The value of z is undefined in that case.
func (*Float)Rat¶added ingo1.5
Rat returns the rational number corresponding to x;or nil if x is an infinity.The result isExact if x is not an Inf.If a non-nil *Rat argument z is provided,Rat storesthe result in z instead of allocating a newRat.
func (*Float)Scan¶added ingo1.8
Scan is a support routine forfmt.Scanner; it sets z to the value ofthe scanned number. It accepts formats whose verbs are supported byfmt.Scan for floating point values, which are:'b' (binary), 'e', 'E', 'f', 'F', 'g' and 'G'.Scan doesn't handle ±Inf.
Example¶
package mainimport ("fmt""log""math/big")func main() {// The Scan function is rarely used directly;// the fmt package recognizes it as an implementation of fmt.Scanner.f := new(big.Float)_, err := fmt.Sscan("1.19282e99", f)if err != nil {log.Println("error scanning value:", err)} else {fmt.Println(f)}}Output:1.19282e+99
func (*Float)Set¶added ingo1.5
Set sets z to the (possibly rounded) value of x and returns z.If z's precision is 0, it is changed to the precision of xbefore setting z (and rounding will have no effect).Rounding is performed according to z's precision and roundingmode; and z's accuracy reports the result error relative to theexact (not rounded) result.
func (*Float)SetFloat64¶added ingo1.5
SetFloat64 sets z to the (possibly rounded) value of x and returns z.If z's precision is 0, it is changed to 53 (and rounding will haveno effect). SetFloat64 panics withErrNaN if x is a NaN.
func (*Float)SetInf¶added ingo1.5
SetInf sets z to the infinite Float -Inf if signbit isset, or +Inf if signbit is not set, and returns z. Theprecision of z is unchanged and the result is alwaysExact.
func (*Float)SetInt¶added ingo1.5
SetInt sets z to the (possibly rounded) value of x and returns z.If z's precision is 0, it is changed to the larger of x.BitLen()or 64 (and rounding will have no effect).
func (*Float)SetInt64¶added ingo1.5
SetInt64 sets z to the (possibly rounded) value of x and returns z.If z's precision is 0, it is changed to 64 (and rounding will haveno effect).
func (*Float)SetMantExp¶added ingo1.5
SetMantExp sets z to mant × 2**exp and returns z.The result z has the same precision and rounding modeas mant. SetMantExp is an inverse ofFloat.MantExp but doesnot require 0.5 <= |mant| < 1.0. Specifically, for agiven x of type *Float, SetMantExp relates toFloat.MantExpas follows:
mant := new(Float)new(Float).SetMantExp(mant, x.MantExp(mant)).Cmp(x) == 0
Special cases are:
z.SetMantExp( ±0, exp) = ±0z.SetMantExp(±Inf, exp) = ±Inf
z and mant may be the same in which case z's exponentis set to exp.
func (*Float)SetMode¶added ingo1.5
func (z *Float) SetMode(modeRoundingMode) *Float
SetMode sets z's rounding mode to mode and returns an exact z.z remains unchanged otherwise.z.SetMode(z.Mode()) is a cheap way to set z's accuracy toExact.
func (*Float)SetPrec¶added ingo1.5
SetPrec sets z's precision to prec and returns the (possibly) roundedvalue of z. Rounding occurs according to z's rounding mode if the mantissacannot be represented in prec bits without loss of precision.SetPrec(0) maps all finite values to ±0; infinite values remain unchanged.If prec >MaxPrec, it is set toMaxPrec.
func (*Float)SetRat¶added ingo1.5
SetRat sets z to the (possibly rounded) value of x and returns z.If z's precision is 0, it is changed to the largest of a.BitLen(),b.BitLen(), or 64; with x = a/b.
func (*Float)SetString¶added ingo1.5
SetString sets z to the value of s and returns z and a boolean indicatingsuccess. s must be a floating-point number of the same format as acceptedbyFloat.Parse, with base argument 0. The entire string (not just a prefix) mustbe valid for success. If the operation failed, the value of z is undefinedbut the returned value is nil.
Example¶
package mainimport ("fmt""math/big")func main() {f := new(big.Float)f.SetString("3.14159")fmt.Println(f)}Output:3.14159
func (*Float)SetUint64¶added ingo1.5
SetUint64 sets z to the (possibly rounded) value of x and returns z.If z's precision is 0, it is changed to 64 (and rounding will haveno effect).
func (*Float)Sqrt¶added ingo1.10
Sqrt sets z to the rounded square root of x, and returns it.
If z's precision is 0, it is changed to x's precision before theoperation. Rounding is performed according to z's precision androunding mode, but z's accuracy is not computed. Specifically, theresult of z.Acc() is undefined.
The function panics if z < 0. The value of z is undefined in thatcase.
func (*Float)String¶added ingo1.5
String formats x like x.Text('g', 10).(String must be called explicitly,Float.Format does not support %s verb.)
func (*Float)Sub¶added ingo1.5
Sub sets z to the rounded difference x-y and returns z.Precision, rounding, and accuracy reporting are as forFloat.Add.Sub panics withErrNaN if x and y are infinities with equalsigns. The value of z is undefined in that case.
func (*Float)Text¶added ingo1.5
Text converts the floating-point number x to a string accordingto the given format and precision prec. The format is one of:
'e'-d.dddde±dd, decimal exponent, at least two (possibly 0) exponent digits'E'-d.ddddE±dd, decimal exponent, at least two (possibly 0) exponent digits'f'-ddddd.dddd, no exponent'g'like 'e' for large exponents, like 'f' otherwise'G'like 'E' for large exponents, like 'f' otherwise'x'-0xd.dddddp±dd, hexadecimal mantissa, decimal power of two exponent'p'-0x.dddp±dd, hexadecimal mantissa, decimal power of two exponent (non-standard)'b'-ddddddp±dd, decimal mantissa, decimal power of two exponent (non-standard)
For the power-of-two exponent formats, the mantissa is printed in normalized form:
'x'hexadecimal mantissa in [1, 2), or 0'p'hexadecimal mantissa in [½, 1), or 0'b'decimal integer mantissa using x.Prec() bits, or 0
Note that the 'x' form is the one used by most other languages and libraries.
If format is a different character, Text returns a "%" followed by theunrecognized format character.
The precision prec controls the number of digits (excluding the exponent)printed by the 'e', 'E', 'f', 'g', 'G', and 'x' formats.For 'e', 'E', 'f', and 'x', it is the number of digits after the decimal point.For 'g' and 'G' it is the total number of digits. A negative precision selectsthe smallest number of decimal digits necessary to identify the value x uniquelyusing x.Prec() mantissa bits.The prec value is ignored for the 'b' and 'p' formats.
func (*Float)Uint64¶added ingo1.5
Uint64 returns the unsigned integer resulting from truncating xtowards zero. If 0 <= x <=math.MaxUint64, the result isExactif x is an integer andBelow otherwise.The result is (0,Above) for x < 0, and (math.MaxUint64,Below)for x >math.MaxUint64.
func (*Float)UnmarshalText¶added ingo1.6
UnmarshalText implements theencoding.TextUnmarshaler interface.The result is rounded per the precision and rounding mode of z.If z's precision is 0, it is changed to 64 before rounding takeseffect.
typeInt¶
type Int struct {// contains filtered or unexported fields}An Int represents a signed multi-precision integer.The zero value for an Int represents the value 0.
Operations always take pointer arguments (*Int) ratherthan Int values, and each unique Int value requiresits own unique *Int pointer. To "copy" an Int value,an existing (or newly allocated) Int must be set toa new value using theInt.Set method; shallow copiesof Ints are not supported and may lead to errors.
Note that methods may leak the Int's value through timing side-channels.Because of this and because of the scope and complexity of theimplementation, Int is not well-suited to implement cryptographic operations.The standard library avoids exposing non-trivial Int methods toattacker-controlled inputs and the determination of whether a bug in math/bigis considered a security vulnerability might depend on the impact on thestandard library.
func (*Int)Append¶added ingo1.6
Append appends the string representation of x, as generated byx.Text(base), to buf and returns the extended buffer.
func (*Int)AppendText¶added ingo1.24.0
AppendText implements theencoding.TextAppender interface.
func (*Int)Bit¶
Bit returns the value of the i'th bit of x. That is, itreturns (x>>i)&1. The bit index i must be >= 0.
func (*Int)BitLen¶
BitLen returns the length of the absolute value of x in bits.The bit length of 0 is 0.
func (*Int)Bits¶
Bits provides raw (unchecked but fast) access to x by returning itsabsolute value as a little-endianWord slice. The result and x sharethe same underlying array.Bits is intended to support implementation of missing low-levelIntfunctionality outside this package; it should be avoided otherwise.
func (*Int)Bytes¶
Bytes returns the absolute value of x as a big-endian byte slice.
To use a fixed length slice, or a preallocated one, useInt.FillBytes.
func (*Int)CmpAbs¶added ingo1.10
CmpAbs compares the absolute values of x and y and returns:
- -1 if |x| < |y|;
- 0 if |x| == |y|;
- +1 if |x| > |y|.
func (*Int)Div¶
Div sets z to the quotient x/y for y != 0 and returns z.If y == 0, a division-by-zero run-time panic occurs.Div implements Euclidean division (unlike Go); seeInt.DivMod for more details.
func (*Int)DivMod¶
DivMod sets z to the quotient x div y and m to the modulus x mod yand returns the pair (z, m) for y != 0.If y == 0, a division-by-zero run-time panic occurs.
DivMod implements Euclidean division and modulus (unlike Go):
q = x div y such thatm = x - y*q with 0 <= m < |y|
(See Raymond T. Boute, “The Euclidean definition of the functionsdiv and mod”. ACM Transactions on Programming Languages andSystems (TOPLAS), 14(2):127-144, New York, NY, USA, 4/1992.ACM press.)SeeInt.QuoRem for T-division and modulus (like Go).
func (*Int)Exp¶
Exp sets z = x**y mod |m| (i.e. the sign of m is ignored), and returns z.If m == nil or m == 0, z = x**y unless y <= 0 then z = 1. If m != 0, y < 0,and x and m are not relatively prime, z is unchanged and nil is returned.
Modular exponentiation of inputs of a particular size is not acryptographically constant-time operation.
func (*Int)FillBytes¶added ingo1.15
FillBytes sets buf to the absolute value of x, storing it as a zero-extendedbig-endian byte slice, and returns buf.
If the absolute value of x doesn't fit in buf, FillBytes will panic.
func (*Int)Float64¶added ingo1.21.0
Float64 returns the float64 value nearest x,and an indication of any rounding that occurred.
func (*Int)Format¶
Format implementsfmt.Formatter. It accepts the formats'b' (binary), 'o' (octal with 0 prefix), 'O' (octal with 0o prefix),'d' (decimal), 'x' (lowercase hexadecimal), and'X' (uppercase hexadecimal).Also supported are the full suite of package fmt's formatflags for integral types, including '+' and ' ' for signcontrol, '#' for leading zero in octal and for hexadecimal,a leading "0x" or "0X" for "%#x" and "%#X" respectively,specification of minimum digits precision, output fieldwidth, space or zero padding, and '-' for left or rightjustification.
func (*Int)GCD¶
GCD sets z to the greatest common divisor of a and b and returns z.If x or y are not nil, GCD sets their value such that z = a*x + b*y.
a and b may be positive, zero or negative. (Before Go 1.14 both hadto be > 0.) Regardless of the signs of a and b, z is always >= 0.
If a == b == 0, GCD sets z = x = y = 0.
If a == 0 and b != 0, GCD sets z = |b|, x = 0, y = sign(b) * 1.
If a != 0 and b == 0, GCD sets z = |a|, x = sign(a) * 1, y = 0.
func (*Int)GobDecode¶
GobDecode implements theencoding/gob.GobDecoder interface.
func (*Int)GobEncode¶
GobEncode implements theencoding/gob.GobEncoder interface.
func (*Int)Int64¶
Int64 returns the int64 representation of x.If x cannot be represented in an int64, the result is undefined.
func (*Int)MarshalJSON¶added ingo1.1
MarshalJSON implements theencoding/json.Marshaler interface.
func (*Int)MarshalText¶added ingo1.3
MarshalText implements theencoding.TextMarshaler interface.
func (*Int)Mod¶
Mod sets z to the modulus x%y for y != 0 and returns z.If y == 0, a division-by-zero run-time panic occurs.Mod implements Euclidean modulus (unlike Go); seeInt.DivMod for more details.
func (*Int)ModInverse¶
ModInverse sets z to the multiplicative inverse of g in the ring ℤ/nℤand returns z. If g and n are not relatively prime, g has no multiplicativeinverse in the ring ℤ/nℤ. In this case, z is unchanged and the return valueis nil. If n == 0, a division-by-zero run-time panic occurs.
func (*Int)ModSqrt¶added ingo1.5
ModSqrt sets z to a square root of x mod p if such a square root exists, andreturns z. The modulus p must be an odd prime. If x is not a square mod p,ModSqrt leaves z unchanged and returns nil. This function panics if p isnot an odd integer, its behavior is undefined if p is odd but not prime.
func (*Int)MulRange¶
MulRange sets z to the product of all integersin the range [a, b] inclusively and returns z.If a > b (empty range), the result is 1.
func (*Int)ProbablyPrime¶
ProbablyPrime reports whether x is probably prime,applying the Miller-Rabin test with n pseudorandomly chosen basesas well as a Baillie-PSW test.
If x is prime, ProbablyPrime returns true.If x is chosen randomly and not prime, ProbablyPrime probably returns false.The probability of returning true for a randomly chosen non-prime is at most ¼ⁿ.
ProbablyPrime is 100% accurate for inputs less than 2⁶⁴.See Menezes et al., Handbook of Applied Cryptography, 1997, pp. 145-149,and FIPS 186-4 Appendix F for further discussion of the error probabilities.
ProbablyPrime is not suitable for judging primes that an adversary mayhave crafted to fool the test.
As of Go 1.8, ProbablyPrime(0) is allowed and applies only a Baillie-PSW test.Before Go 1.8, ProbablyPrime applied only the Miller-Rabin tests, and ProbablyPrime(0) panicked.
func (*Int)Quo¶
Quo sets z to the quotient x/y for y != 0 and returns z.If y == 0, a division-by-zero run-time panic occurs.Quo implements truncated division (like Go); seeInt.QuoRem for more details.
func (*Int)QuoRem¶
QuoRem sets z to the quotient x/y and r to the remainder x%yand returns the pair (z, r) for y != 0.If y == 0, a division-by-zero run-time panic occurs.
QuoRem implements T-division and modulus (like Go):
q = x/y with the result truncated to zeror = x - y*q
(See Daan Leijen, “Division and Modulus for Computer Scientists”.)SeeInt.DivMod for Euclidean division and modulus (unlike Go).
func (*Int)Rand¶
Rand sets z to a pseudo-random number in [0, n) and returns z.
As this uses themath/rand package, it must not be used forsecurity-sensitive work. Usecrypto/rand.Int instead.
func (*Int)Rem¶
Rem sets z to the remainder x%y for y != 0 and returns z.If y == 0, a division-by-zero run-time panic occurs.Rem implements truncated modulus (like Go); seeInt.QuoRem for more details.
func (*Int)Scan¶
Scan is a support routine forfmt.Scanner; it sets z to the value ofthe scanned number. It accepts the formats 'b' (binary), 'o' (octal),'d' (decimal), 'x' (lowercase hexadecimal), and 'X' (uppercase hexadecimal).
Example¶
package mainimport ("fmt""log""math/big")func main() {// The Scan function is rarely used directly;// the fmt package recognizes it as an implementation of fmt.Scanner.i := new(big.Int)_, err := fmt.Sscan("18446744073709551617", i)if err != nil {log.Println("error scanning value:", err)} else {fmt.Println(i)}}Output:18446744073709551617
func (*Int)SetBit¶
SetBit sets z to x, with x's i'th bit set to b (0 or 1).That is,
- if b is 1, SetBit sets z = x | (1 << i);
- if b is 0, SetBit sets z = x &^ (1 << i);
- if b is not 0 or 1, SetBit will panic.
func (*Int)SetBits¶
SetBits provides raw (unchecked but fast) access to z by setting itsvalue to abs, interpreted as a little-endianWord slice, and returningz. The result and abs share the same underlying array.SetBits is intended to support implementation of missing low-levelIntfunctionality outside this package; it should be avoided otherwise.
func (*Int)SetBytes¶
SetBytes interprets buf as the bytes of a big-endian unsignedinteger, sets z to that value, and returns z.
func (*Int)SetString¶
SetString sets z to the value of s, interpreted in the given base,and returns z and a boolean indicating success. The entire string(not just a prefix) must be valid for success. If SetString fails,the value of z is undefined but the returned value is nil.
The base argument must be 0 or a value between 2 andMaxBase.For base 0, the number prefix determines the actual base: A prefix of“0b” or “0B” selects base 2, “0”, “0o” or “0O” selects base 8,and “0x” or “0X” selects base 16. Otherwise, the selected base is 10and no prefix is accepted.
For bases <= 36, lower and upper case letters are considered the same:The letters 'a' to 'z' and 'A' to 'Z' represent digit values 10 to 35.For bases > 36, the upper case letters 'A' to 'Z' represent the digitvalues 36 to 61.
For base 0, an underscore character “_” may appear between a baseprefix and an adjacent digit, and between successive digits; suchunderscores do not change the value of the number.Incorrect placement of underscores is reported as an error if thereare no other errors. If base != 0, underscores are not recognizedand act like any other character that is not a valid digit.
Example¶
package mainimport ("fmt""math/big")func main() {i := new(big.Int)i.SetString("644", 8) // octalfmt.Println(i)}Output:420
func (*Int)Sqrt¶added ingo1.8
Sqrt sets z to ⌊√x⌋, the largest integer such that z² ≤ x, and returns z.It panics if x is negative.
func (*Int)Text¶added ingo1.6
Text returns the string representation of x in the given base.Base must be between 2 and 62, inclusive. The result uses thelower-case letters 'a' to 'z' for digit values 10 to 35, andthe upper-case letters 'A' to 'Z' for digit values 36 to 61.No prefix (such as "0x") is added to the string. If x is a nilpointer it returns "<nil>".
func (*Int)TrailingZeroBits¶added ingo1.13
TrailingZeroBits returns the number of consecutive least significant zerobits of |x|.
func (*Int)Uint64¶added ingo1.1
Uint64 returns the uint64 representation of x.If x cannot be represented in a uint64, the result is undefined.
func (*Int)UnmarshalJSON¶added ingo1.1
UnmarshalJSON implements theencoding/json.Unmarshaler interface.
func (*Int)UnmarshalText¶added ingo1.3
UnmarshalText implements theencoding.TextUnmarshaler interface.
typeRat¶
type Rat struct {// contains filtered or unexported fields}A Rat represents a quotient a/b of arbitrary precision.The zero value for a Rat represents the value 0.
Operations always take pointer arguments (*Rat) ratherthan Rat values, and each unique Rat value requiresits own unique *Rat pointer. To "copy" a Rat value,an existing (or newly allocated) Rat must be set toa new value using theRat.Set method; shallow copiesof Rats are not supported and may lead to errors.
func (*Rat)AppendText¶added ingo1.24.0
AppendText implements theencoding.TextAppender interface.
func (*Rat)Denom¶
Denom returns the denominator of x; it is always > 0.The result is a reference to x's denominator, unlessx is an uninitialized (zero value)Rat, in which casethe result is a newInt of value 1. (To initialize x,any operation that sets x will do, including x.Set(x).)If the result is a reference to x's denominator itmay change if a new value is assigned to x, and vice versa.
func (*Rat)Float32¶added ingo1.4
Float32 returns the nearest float32 value for x and a bool indicatingwhether f represents x exactly. If the magnitude of x is too large tobe represented by a float32, f is an infinity and exact is false.The sign of f always matches the sign of x, even if f == 0.
func (*Rat)Float64¶added ingo1.1
Float64 returns the nearest float64 value for x and a bool indicatingwhether f represents x exactly. If the magnitude of x is too large tobe represented by a float64, f is an infinity and exact is false.The sign of f always matches the sign of x, even if f == 0.
func (*Rat)FloatPrec¶added ingo1.22.0
FloatPrec returns the number n of non-repeating digits immediatelyfollowing the decimal point of the decimal representation of x.The boolean result indicates whether a decimal representation of xwith that many fractional digits is exact or rounded.
Examples:
x n exact decimal representation n fractional digits0 0 true 01 0 true 11/2 1 true 0.51/3 0 false 0 (0.333... rounded)1/4 2 true 0.251/6 1 false 0.2 (0.166... rounded)
func (*Rat)FloatString¶
FloatString returns a string representation of x in decimal form with precdigits of precision after the radix point. The last digit is rounded tonearest, with halves rounded away from zero.
func (*Rat)GobDecode¶
GobDecode implements theencoding/gob.GobDecoder interface.
func (*Rat)GobEncode¶
GobEncode implements theencoding/gob.GobEncoder interface.
func (*Rat)MarshalText¶added ingo1.3
MarshalText implements theencoding.TextMarshaler interface.
func (*Rat)Num¶
Num returns the numerator of x; it may be <= 0.The result is a reference to x's numerator; itmay change if a new value is assigned to x, and vice versa.The sign of the numerator corresponds to the sign of x.
func (*Rat)RatString¶
RatString returns a string representation of x in the form "a/b" if b != 1,and in the form "a" if b == 1.
func (*Rat)Scan¶
Scan is a support routine for fmt.Scanner. It accepts the formats'e', 'E', 'f', 'F', 'g', 'G', and 'v'. All formats are equivalent.
Example¶
package mainimport ("fmt""log""math/big")func main() {// The Scan function is rarely used directly;// the fmt package recognizes it as an implementation of fmt.Scanner.r := new(big.Rat)_, err := fmt.Sscan("1.5000", r)if err != nil {log.Println("error scanning value:", err)} else {fmt.Println(r)}}Output:3/2
func (*Rat)SetFloat64¶added ingo1.1
SetFloat64 sets z to exactly f and returns z.If f is not finite, SetFloat returns nil.
func (*Rat)SetString¶
SetString sets z to the value of s and returns z and a boolean indicatingsuccess. s can be given as a (possibly signed) fraction "a/b", or as afloating-point number optionally followed by an exponent.If a fraction is provided, both the dividend and the divisor may be adecimal integer or independently use a prefix of “0b”, “0” or “0o”,or “0x” (or their upper-case variants) to denote a binary, octal, orhexadecimal integer, respectively. The divisor may not be signed.If a floating-point number is provided, it may be in decimal form oruse any of the same prefixes as above but for “0” to denote a non-decimalmantissa. A leading “0” is considered a decimal leading 0; it does notindicate octal representation in this case.An optional base-10 “e” or base-2 “p” (or their upper-case variants)exponent may be provided as well, except for hexadecimal floats whichonly accept an (optional) “p” exponent (because an “e” or “E” cannotbe distinguished from a mantissa digit). If the exponent's absolute valueis too large, the operation may fail.The entire string, not just a prefix, must be valid for success. If theoperation failed, the value of z is undefined but the returned value is nil.
Example¶
package mainimport ("fmt""math/big")func main() {r := new(big.Rat)r.SetString("355/113")fmt.Println(r.FloatString(3))}Output:3.142
func (*Rat)UnmarshalText¶added ingo1.3
UnmarshalText implements theencoding.TextUnmarshaler interface.
typeRoundingMode¶added ingo1.5
type RoundingModebyte
RoundingMode determines how aFloat value is rounded to thedesired precision. Rounding may change theFloat value; therounding error is described by theFloat'sAccuracy.
Example¶
package mainimport ("fmt""math/big")func main() {operands := []float64{2.6, 2.5, 2.1, -2.1, -2.5, -2.6}fmt.Print(" x")for mode := big.ToNearestEven; mode <= big.ToPositiveInf; mode++ {fmt.Printf(" %s", mode)}fmt.Println()for _, f64 := range operands {fmt.Printf("%4g", f64)for mode := big.ToNearestEven; mode <= big.ToPositiveInf; mode++ {// sample operands above require 2 bits to represent mantissa// set binary precision to 2 to round them to integer valuesf := new(big.Float).SetPrec(2).SetMode(mode).SetFloat64(f64)fmt.Printf(" %*g", len(mode.String()), f)}fmt.Println()}}Output: x ToNearestEven ToNearestAway ToZero AwayFromZero ToNegativeInf ToPositiveInf 2.6 3 3 2 3 2 3 2.5 2 3 2 3 2 3 2.1 2 2 2 3 2 3-2.1 -2 -2 -2 -3 -3 -2-2.5 -2 -3 -2 -3 -3 -2-2.6 -3 -3 -2 -3 -3 -2
const (ToNearestEvenRoundingMode =iota// == IEEE 754-2008 roundTiesToEvenToNearestAway// == IEEE 754-2008 roundTiesToAwayToZero// == IEEE 754-2008 roundTowardZeroAwayFromZero// no IEEE 754-2008 equivalentToNegativeInf// == IEEE 754-2008 roundTowardNegativeToPositiveInf// == IEEE 754-2008 roundTowardPositive)
These constants define supported rounding modes.
func (RoundingMode)String¶added ingo1.5
func (iRoundingMode) String()string