glen
/
pocomath
2
1
Fork 0
Code Issues 3 Pull Requests Projects Releases Wiki Activity

feat: Allow self-reference in implementations #4

Merged
glen merged 2 commits from self_reference into main 2022-07-19 18:54:23 +00:00
Conversation 0 Commits 2 Files Changed 13 +132 -21

2 Commits

Author SHA1 Message Date
Glen Whitney 4999cad775 fix: prevent obsolete typed-functions from hanging around 
In other words, if name a depends on b and b is invalidated (because
  of added implementations), then a must be invalidated as well.

  Also adds a specific test (custom/piecemeal) that tests this.
 2022-07-19 11:48:52 -07:00
Glen Whitney 66cbccfbbe feat: Allow self-reference in implementations 
And use it to define negate and add for Complex numbers in a way that
  is independent of component types.

  Also add a bigint type and verify that pocomath will then handle Gaussian
  integers "for free".
 2022-07-19 11:16:29 -07:00