feat: methods on Complex #24

Merged

glen merged 6 commits from more_complex into main

2025-04-25 14:17:35 +00:00

glen commented

2025-04-24 19:14:20 +00:00

Owner

Adds all of the pocomath functions on Complex that do not depend on any unimplemented types or config properties. To get this working, adds some additional features:

Allows conversions to generic types, with the matched type
determined from the return value of the built convertor
Adds predicate-based type patterns
Adds conversion from any non-complex type T to Complex(T)
Adds check for recursive loops in resolve (a key/signature depending on itself)

Adds all of the pocomath functions on Complex that do not depend on any unimplemented types or config properties. To get this working, adds some additional features: * Allows conversions to generic types, with the matched type determined from the return value of the built convertor * Adds predicate-based type patterns * Adds conversion from any non-complex type T to Complex(T) * Adds check for recursive loops in resolve (a key/signature depending on itself)

glen added 1 commit 2025-04-24 19:14:21 +00:00

feat: Start arithmetic functions for complex

/ test (pull_request) Successful in 17s

Details

474cc53d68

So far, adds absquare and add. To get these working, especially on mixed
  types of arguments, this also adds some additional features:
  * Allows conversions to generic types, with the matched type
    determined from the return value of the built convertor
  * Adds predicate-based type patterns
  * Adds conversion from any non-complex type T to Complex(T)
  * Starts tests for complex arithmetic

glen added 1 commit 2025-04-24 20:10:11 +00:00

feat: Add complex argument function arg

/ test (pull_request) Successful in 17s

Details

8da23a84be

Also removes circular imports from nanomath

glen added 1 commit 2025-04-25 03:19:42 +00:00

feat: more Complex methods

/ test (pull_request) Successful in 16s

Details

7daa621571

* Adds associate, conj, multiply, negate, subtract, indistinguishable
  * As a result equal is now supported
  * Adds a check for recursive loops in resolve (a key/signature method
    depending on itself

glen added 1 commit 2025-04-25 03:52:56 +00:00

feat: add cis and fix indistinguishable

/ test (pull_request) Successful in 16s

Details

7903a46118

glen added 1 commit 2025-04-25 04:41:24 +00:00

feat: add divide and invert and fix PredicatePattern match

/ test (pull_request) Successful in 17s

Details

627c1c3d7f

glen added 1 commit 2025-04-25 07:08:47 +00:00

feat: Add isReal and isZero, and fix specializing a generic type

/ test (pull_request) Successful in 17s

Details

f9b723b882

glen commented

2025-04-25 14:16:43 +00:00

Author

Owner

Also left out quotient and roundquotient because they are not necessary for polyomialRoot and the ultimate design there is unclear. With that, this PR is ready to merge, so unmarking as WIP.