StudioInfinity/nanomath
2
0
Fork 0
Code Issues 9 Pull requests Projects Releases Packages Wiki Activity Actions

feat: config and approximate equality #19

Merged
glen merged 4 commits from config into main 2025-04-16 04:23:49 +00:00
Conversation 2 Commits 4 Files changed 27 +788 -218
glen commented 2025-04-15 08:21:28 +00:00
Owner
Copy link

Establishes a global config object for a TypeDispatcher instance, so far
with just properties representing comparison tolerances. Begins a
"relational" group of functions with basic approximate equality, and
an initial primitive ordering comparison. Ensures that methods that
depend on properties of config will be properly updated when those
properties change.

Establishes a global config object for a TypeDispatcher instance, so far with just properties representing comparison tolerances. Begins a "relational" group of functions with basic approximate equality, and an initial primitive ordering comparison. Ensures that methods that depend on properties of `config` will be properly updated when those properties change.
glen added 1 commit 2025-04-15 08:21:28 +00:00
feat: config and approximate equality
All checks were successful
/ test (pull_request) Successful in 17s
Details
d3f2bc09b7 
Establishes a global config object for a TypeDispatcher instance, so far
  with just properties representing comparison tolerances. Begins a
  "relational" group of functions with basic approximate equality, and
  an initial primitive ordering comparison. Ensures that methods that
  depend on properties of `config` will be properly updated when those
  properties change.
glen commented 2025-04-15 08:22:36 +00:00
Author
Owner
Copy link

To be ready for merge, this just needs additional generic relational methods the use the basic building blocks of absolute ordering and equality to give all of the usual comparison operations (per pocomath and/or mathjs).

To be ready for merge, this just needs additional generic relational methods the use the basic building blocks of absolute ordering and equality to give all of the usual comparison operations (per pocomath and/or mathjs).
glen added 1 commit 2025-04-15 23:36:42 +00:00
feat: more utility functions
All checks were successful
/ test (pull_request) Successful in 17s
Details
686cd93927 
Adds type constants zero and one, and allows you to obtain them
   directly from a type object. This facility creates a behavior
   with a parametric type: the type of `math.zero(T)` where `T` is a
   Type object (i.e., has type `TypeOfTypes`) depends not just on that
   type TypeOfTypes, but instead on the _value_ of the argument `T`. Since
   nanomath is not (yet?) equipped to handle typing such a method, we just
   set its return type to a new constant NotAType that (hopefully) does not
   work with the rest of the type system. Also allows you to compute `zero`
   and `one` from an example value, rather than from the type object itself.

   Adds utility function `isZero` to test if a value is zero.

   As usual so far, the additions uncovered some remaining bugs, which
   this PR fixes. For example, there was a problem in that resolution of
   the `one` method was failing because the `Any` pattern was blocking
   matching of the `TypeOfTypes` pattern. Although we may eventually need to
   sort the patterns for a given method to maintain a reasonable matching
   order, for now the solution was just to move the two patterns into the
   same source file and explicitly order them. (With the way onType and
   Implementations are currently implemented, the proper ordering is more
   general to more specific, i.e. later implementations supersede earlier
   ones.

   Adds many new tests, as always.
glen added 1 commit 2025-04-16 03:34:46 +00:00
feat: add nan to types, add hasnan and sign functions
All checks were successful
/ test (pull_request) Successful in 19s
Details
c1791ddc20 
Also makes certain to clean up the dependencies that are being
  generated even in case of throwing an error in the factory for
  a method.
glen added 1 commit 2025-04-16 04:04:40 +00:00
feat: add the rest of relational from pocomath
All checks were successful
/ test (pull_request) Successful in 18s
Details
92ac7f38ae
glen changed title from WIP: feat: config and approximate equality to feat: config and approximate equality 2025-04-16 04:22:51 +00:00
glen commented 2025-04-16 04:23:31 +00:00
Author
Owner
Copy link

Now has all of the relational functions of pocomath (and maybe a bit more). Merging.

Now has all of the relational functions of pocomath (and maybe a bit more). Merging.
glen merged commit 70ce01d12b into main 2025-04-16 04:23:49 +00:00
glen deleted branch config 2025-04-16 04:23:49 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
design

An issue identifying a design decision that must be made

  
feature

A new/improved behavior implemented by the project

  
maintenance

A necessary/desired refactor, dependency update, or other behavior-orthogonal task.

  
priority

An issue that should be resolved sooner than issues not so labeled.

  
testing

An issue concerning the testing system

No labels
design
feature
maintenance
priority
testing
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: StudioInfinity/nanomath#19
No description provided.
Delete branch "config"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?