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 generic from './generic/all.mjs'
import * as floor from './ops/floor.mjs'

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

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'`
			`import * as generic from './generic/all.mjs'`
feat(floor): Provide example of op-centric organization 2022-08-01 15:28:21 +00:00			`import * as floor from './ops/floor.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(`
			`'math', numbers, bigints, complex, generic, floor)`
feat: First operational instance with just add 2022-07-19 00:08:49 +00:00
			`export default math`