| // Copyright 2009 The Go Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| /* |
| Package big implements arbitrary-precision arithmetic (big numbers). |
| The following numeric types are supported: |
| |
| Int signed integers |
| Rat rational numbers |
| Float floating-point numbers |
| |
| The zero value for an Int, Rat, or Float correspond to 0. Thus, new |
| values can be declared in the usual ways and denote 0 without further |
| initialization: |
| |
| var x Int // &x is an *Int of value 0 |
| var r = &Rat{} // r is a *Rat of value 0 |
| y := new(Float) // y is a *Float of value 0 |
| |
| Alternatively, new values can be allocated and initialized with factory |
| functions of the form: |
| |
| func NewT(v V) *T |
| |
| For instance, NewInt(x) returns an *Int set to the value of the int64 |
| argument x, NewRat(a, b) returns a *Rat set to the fraction a/b where |
| a and b are int64 values, and NewFloat(f) returns a *Float initialized |
| to the float64 argument f. More flexibility is provided with explicit |
| setters, for instance: |
| |
| var z1 Int |
| z1.SetUint64(123) // z1 := 123 |
| z2 := new(Rat).SetFloat64(1.25) // z2 := 5/4 |
| z3 := new(Float).SetInt(z1) // z3 := 123.0 |
| |
| Setters, numeric operations and predicates are represented as methods of |
| the form: |
| |
| func (z *T) SetV(v V) *T // z = v |
| func (z *T) Unary(x *T) *T // z = unary x |
| func (z *T) Binary(x, y *T) *T // z = x binary y |
| func (x *T) Pred() P // p = pred(x) |
| |
| with T one of Int, Rat, or Float. For unary and binary operations, the |
| result is the receiver (usually named z in that case; see below); if it |
| is one of the operands x or y it may be safely overwritten (and its memory |
| reused). |
| |
| Arithmetic expressions are typically written as a sequence of individual |
| method calls, with each call corresponding to an operation. The receiver |
| denotes 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 whatever |
| value was held in c before. Unless specified otherwise, operations permit |
| aliasing 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 be |
| much better controlled. Instead of having to allocate new memory for each |
| result, 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 operands |
| are usually named x, y, a, b, and so on, but never z. A parameter specifying |
| the result is named z (typically the receiver). |
| |
| For instance, the arguments for (*Int).Add are named x and y, and because |
| the 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, to |
| enable 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 typically |
| the first operand, named x: |
| |
| func (x *Int) Sign() int |
| |
| Various methods support conversions between strings and corresponding |
| numeric values, and vice versa: *Int, *Rat, and *Float values implement |
| the Stringer interface for a (default) string representation of the value, |
| but also provide SetString methods to initialize a value from a string in |
| a variety of supported formats (see the respective SetString documentation). |
| |
| Finally, *Int, *Rat, and *Float satisfy [fmt.Scanner] for scanning |
| and (except for *Rat) the Formatter interface for formatted printing. |
| */ |
| package big |