pocomath/src/pocomath.mjs

/* Core of pocomath: generates the default instance */
import PocomathInstance from './core/PocomathInstance.mjs'
import * as numbers from './number/native.mjs'
import * as bigints from './bigint/native.mjs'
import * as complex from './complex/native.mjs'
import * as tuple from './tuple/native.mjs'
// Most of tuple is not ready yet:
const tupleReady = {
    Tuple: tuple.Tuple,
    equal: tuple.equal,
    length: tuple.length,
    tuple: tuple.tuple
}
import * as generic from './generic/all.mjs'
import * as ops from './ops/all.mjs'

const math = PocomathInstance.merge(
    'math', numbers, bigints, complex, tupleReady, generic, ops)

export default math
feat: First operational instance with just add 2022-07-19 00:08:49 +00:00			`/* Core of pocomath: generates the default instance */`
fix: Separate typed instance for each PocomathInstance (#15) Also starts each PocomathInstance with no types at all, and uses the new situation to eliminate the need for a Complex "base case". Resolves #14. Resolves #13. Co-authored-by: Glen Whitney <glen@studioinfinity.org> Reviewed-on: https://code.studioinfinity.org/glen/pocomath/pulls/15 2022-07-22 20:49:14 +00:00			`import PocomathInstance from './core/PocomathInstance.mjs'`
feat: Implement signature-specifc reference Also implements a config object that upon change, lazily invalidates all operations that access it. Also allows references to signatures with nonexistent types (which typed-function does not); they come back as undefined. Uses these features to implement sqrt for number and complex. Resolves #7. 2022-07-25 11:20:13 +00:00			`import * as numbers from './number/native.mjs'`
fix(Types): Move distinct types into distinct identifiers This allows types to be collected; prior to this commit they were conflicting from different modules. Uses this fix to extend sqrt to bigint, with the convention that it is undefined for non-perfect squares when 'predictable' is false and is the "best" approximation to the square root when 'predictable' is true. Furthermore, for negative bigints, you might get a Gaussian integer when predictable is false; or you will just get your argument back when 'predictable' is true because what other bigint could you give back for a negative bigint? Also had to modify tests on the sign in sqrt(Complex) and add functions 'zero' and 'one' to get types to match, as expected in #27. Adds numerous tests. Resolves #26. Resolves #27. 2022-07-25 18:56:12 +00:00			`import * as bigints from './bigint/native.mjs'`
feat: Implement signature-specifc reference Also implements a config object that upon change, lazily invalidates all operations that access it. Also allows references to signatures with nonexistent types (which typed-function does not); they come back as undefined. Uses these features to implement sqrt for number and complex. Resolves #7. 2022-07-25 11:20:13 +00:00			`import * as complex from './complex/native.mjs'`
feat(Tuple): Stub for a template type This adds the target initial definition of a homogeneous Tuple<T> type, and just enough processing that the type can be defined and non-template methods that deal with the generic base type Tuple can be called. Still has no actual template instantiation. 2022-08-03 18:27:40 +00:00			`import * as tuple from './tuple/native.mjs'`
			`// Most of tuple is not ready yet:`
			`const tupleReady = {`
			`Tuple: tuple.Tuple,`
			`equal: tuple.equal,`
			`length: tuple.length,`
			`tuple: tuple.tuple`
			`}`
feat: Implement signature-specifc reference Also implements a config object that upon change, lazily invalidates all operations that access it. Also allows references to signatures with nonexistent types (which typed-function does not); they come back as undefined. Uses these features to implement sqrt for number and complex. Resolves #7. 2022-07-25 11:20:13 +00:00			`import * as generic from './generic/all.mjs'`
feat(install): Allow plain functions 2022-08-02 07:47:37 +00:00			`import * as ops from './ops/all.mjs'`
feat: First operational instance with just add 2022-07-19 00:08:49 +00:00
feat(floor): Provide example of op-centric organization 2022-08-01 15:28:21 +00:00			`const math = PocomathInstance.merge(`
feat(Tuple): Stub for a template type This adds the target initial definition of a homogeneous Tuple<T> type, and just enough processing that the type can be defined and non-template methods that deal with the generic base type Tuple can be called. Still has no actual template instantiation. 2022-08-03 18:27:40 +00:00			`'math', numbers, bigints, complex, tupleReady, generic, ops)`
feat: First operational instance with just add 2022-07-19 00:08:49 +00:00
			`export default math`