feat: Implement Vector type

glen commented

2025-05-07 00:03:06 +00:00

Owner

The Vector type is simply a generic type for built-in JavaScript Arrays. The parameter type is the type of all of the entries of the Array. The Vector type also supports inhomogeneous arrays by using the special type Unknown as the argument type, but note that when computing with inhomogeneous arrays, method dispatch must be performed separately for every entry in a calculation, making all operations considerably slower than on homogeneous Vector instances.

Note also that arithmetic operations on nested Vectors, e.g. Vector(Vector(NumberT)) are defined so as to interpret such entities as ordinary matrices, represented in row-major format (i.e., the component Vector(NumberT) items of such an entity are the rows of the matrix.

The Vector type is simply a generic type for built-in JavaScript Arrays. The parameter type is the type of all of the entries of the Array. The Vector type also supports inhomogeneous arrays by using the special type `Unknown` as the argument type, but note that when computing with inhomogeneous arrays, method dispatch must be performed separately for every entry in a calculation, making all operations considerably slower than on homogeneous Vector instances. Note also that arithmetic operations on nested Vectors, e.g. `Vector(Vector(NumberT))` are defined so as to interpret such entities as ordinary matrices, represented in row-major format (i.e., the component `Vector(NumberT)` items of such an entity are the _rows_ of the matrix.

glen added 12 commits 2025-05-07 00:03:07 +00:00

feat: add Vector generic type cc4d77f128

feat: Add vector constructor/converter 7d150e2860

feat: Add vector clone f002310581

feat: extend all utils to vectors elementwise & fix parameter match grouping 3b882f3d53

feat: Add vector deepEqual 7b799f7183

feat: equality on Vector elementwise c3c2bbbf78

feat: Complete relational functions for vectors edfba089e3

Toward its goal, this commit also:
  * Adds a new section of logical functions, and defines `not`, `and`,
    `or` for all current types.
  * Extends `OneOf` choice/union type to allow argument types that are
    themselves `OneOf` types.
  * Adds a readable .toString() method for TypePatterns.
  * Defines negate (as a no-op) and isnan (as always true) for the Undefined
    type
  * Extends comparisons to the Undefined type (to handle comparing vectors
    of different lengths)

refactor: rename absquare to normsq and add norm ec97b0e20a

feat: Start adding vector arithmetic cb3a93dd1c

So far, abs, add, norm, normsq, and sum are supported. To get them
  to work, also implements the following:
  * refactor: Use ReturnType function rather than just accessing .returns
  * feat: distinguish marking a function as a behavior from its return type
  * refactor: Rename `NotAType` to `Unknown` because it must be made closer
    to a bona fide type for the sake of inhomogeneous vectors
  * feat: make resolving a TypeDispatcher method on a type vector including
    `Unknown` into a no-op; that simplifies a number of generic behaviors
  * feat: add `haszero` method parallel to `hasnan`
  * feat: track the Vector nesting depth of Vector specializations

feat: vector negate and subtract f398454d59

feat: vector transpose and multiply ed66ea7772

feat: implement invert for vectors and matrices

/ test (pull_request) Successful in 20s

Details

db86b2ecd0

Here invert returns the pseudoinverse when the input is not invertible.
  To this end, also implements (rudimentary) conversion of Complex to NumberT,
  an identity method that produces identity matrices, determinant, and
  the adjoint operation on matrices (conjugate transpose).

glen merged commit 95d81d0338 into main

2025-05-07 00:03:50 +00:00

glen deleted branch vector

2025-05-07 00:03:50 +00:00

glen referenced this pull request from a commit

2025-05-07 00:03:50 +00:00

feat: Implement Vector type (#28)

glen referenced this pull request

2025-05-07 00:04:18 +00:00

Add generic Vector type #27

Rows
Columns

feat: Implement Vector type #28