Fixes issues #6, #7 by extending power, misc fixes #9

Vindaar · 2022-11-16T17:38:22Z

Mainly fixes #6 and #7 by improving the handling of how the power operation is implemented. Now also includes a submodule for static integer power, so that unchained powers are supported as long as the power is static (as we need to be able to compute the type at CT!).

Further fixes a few small miscellaneous things. Full changelog below.

* v0.2.2
- export ~to~ procedure (used to convert inner type of a
  ~Measurement~)
- fix ~**~, ~^~ for two Measurements
- allow to disable printing of unicode symbols for string repr of
  ~Measurement~ by compiling with ~-d:noUnicode~
- fix issue #6 to allow ~measurement~ procedure to construct correct
  type for given types other than ~float~
- fix division of a literal with a measurement
- fix power math operation for different argument types, including
  fixing issue #7
  - adds a new private submodule for a helper macro to generate
    `power` calls for static integers (including negative)

'u32 was the literal used during development. Was auto converted to u64 as it's a literal, but better use correct one.

Also changes the spacing in the unicode case to half width space. Compile with `-d:noUnicode` to print using `+-` and regular space instead.

This is also useful for users of the library

Must return `auto` as it must be based on the return type of `fn(x)` call.

No idea what the hell is going on in 1.6, but if it's restricted to FloatLike, we get a "cannot instantiate Measurement" error from the `**` procedure, shrug.

Vindaar added 15 commits November 16, 2022 11:08

[misc] change usage of 'u32 literal to 'u64

660fc9b

'u32 was the literal used during development. Was auto converted to u64 as it's a literal, but better use correct one.

allow to disable unicode in printing of measurements

44ef657

Also changes the spacing in the unicode case to half width space. Compile with `-d:noUnicode` to print using `+-` and regular space instead.

fix issue #6 by correctly using type information

dfb0f87

add note about derivatives for unchained units

d9999cc

fix equality for integers, bind local toFloat

42ed73f

export to procedure

169dcd7

This is also useful for users of the library

fix division of literal / measurement

3dea616

fix return types of auto generated fn calls for math fns

3315c10

Must return `auto` as it must be based on the return type of `fn(x)` call.

add math_utils submodule containing power for static integers

3ddf6c6

fix power for different argument types, including fixing issue #7

176fba6

[tests] extend tests for power and unchained trigonometric fns

9c87756

update changelog

9772bd0

fix copypasted dumb error in power macro

30fabb2

use power also in RT SomeInteger ^ procedure

bfee7e8

for nim < 1.7 do not restrict Measurement to FloatLike

d23e459

No idea what the hell is going on in 1.6, but if it's restricted to FloatLike, we get a "cannot instantiate Measurement" error from the `**` procedure, shrug.

Vindaar merged commit 37f3112 into master Nov 16, 2022

Vindaar mentioned this pull request Nov 16, 2022

Added tests for power and log + unchained suite #8

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Fixes issues #6, #7 by extending power, misc fixes #9

Fixes issues #6, #7 by extending power, misc fixes #9

Vindaar commented Nov 16, 2022

Fixes issues #6, #7 by extending power, misc fixes #9

Fixes issues #6, #7 by extending power, misc fixes #9

Conversation

Vindaar commented Nov 16, 2022