diff options
| author | Eduardo Julian | 2022-11-15 20:07:38 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-11-15 20:07:38 -0400 |
| commit | 91a1f21f3c75750217d272554bc8a341f075f82d (patch) | |
| tree | 5e745cea303450fa61f931d4a4be6b6fa1e279a2 /stdlib/source/library/lux/math.lux | |
| parent | d656ef2143151a1d78768df4562e5275dff67b9d (diff) | |
Now documenting dependers and dependees.
Diffstat (limited to 'stdlib/source/library/lux/math.lux')
| -rw-r--r-- | stdlib/source/library/lux/math.lux | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/stdlib/source/library/lux/math.lux b/stdlib/source/library/lux/math.lux index f2c3710f2..a952076c2 100644 --- a/stdlib/source/library/lux/math.lux +++ b/stdlib/source/library/lux/math.lux @@ -109,28 +109,28 @@ ... else (phase.except ..no_arithmetic_for [:it:]))))))))))] - [+ [[.Nat (in (analysis.nat location.dummy 0)) .i64_+#|generation] - [.Int (in (analysis.int location.dummy +0)) .i64_+#|generation] - [.Rev (in (analysis.rev location.dummy .0)) .i64_+#|generation] - [.Frac (in (analysis.frac location.dummy +0.0)) .f64_+#|generation] + [+ [[.Nat (in (analysis.nat location.dummy 0)) .i64_+#|translation] + [.Int (in (analysis.int location.dummy +0)) .i64_+#|translation] + [.Rev (in (analysis.rev location.dummy .0)) .i64_+#|translation] + [.Frac (in (analysis.frac location.dummy +0.0)) .f64_+#|translation] [Ratio (type.expecting Ratio (phase archive (` <ratio/0>))) ratio.+] [Complex (type.expecting Complex (phase archive (` <complex/0>))) complex.+]]] - [- [[.Nat (in (analysis.nat location.dummy 0)) .i64_-#|generation] - [.Int (in (analysis.int location.dummy -0)) .i64_-#|generation] - [.Rev (in (analysis.rev location.dummy .0)) .i64_-#|generation] - [.Frac (in (analysis.frac location.dummy -0.0)) .f64_-#|generation] + [- [[.Nat (in (analysis.nat location.dummy 0)) .i64_-#|translation] + [.Int (in (analysis.int location.dummy -0)) .i64_-#|translation] + [.Rev (in (analysis.rev location.dummy .0)) .i64_-#|translation] + [.Frac (in (analysis.frac location.dummy -0.0)) .f64_-#|translation] [Ratio (type.expecting Ratio (phase archive (` <ratio/0>))) ratio.-] [Complex (type.expecting Complex (phase archive (` <complex/0>))) complex.-]]] [* [[.Nat (in (analysis.nat location.dummy 1)) nat.*] - [.Int (in (analysis.int location.dummy +1)) .int_*#|generation] + [.Int (in (analysis.int location.dummy +1)) .int_*#|translation] [.Rev (in (analysis.rev location.dummy rev./1)) rev.*] - [.Frac (in (analysis.frac location.dummy +1.0)) .f64_*#|generation] + [.Frac (in (analysis.frac location.dummy +1.0)) .f64_*#|translation] [Ratio (type.expecting Ratio (phase archive (` <ratio/1>))) ratio.*] [Complex (type.expecting Complex (phase archive (` <complex/1>))) complex.*]]] [/ [[.Nat (in (analysis.nat location.dummy 1)) nat./] - [.Int (in (analysis.int location.dummy +1)) .int_/#|generation] + [.Int (in (analysis.int location.dummy +1)) .int_/#|translation] [.Rev (in (analysis.rev location.dummy rev./1)) rev./] - [.Frac (in (analysis.frac location.dummy +1.0)) .f64_/#|generation] + [.Frac (in (analysis.frac location.dummy +1.0)) .f64_/#|translation] [Ratio (type.expecting Ratio (phase archive (` <ratio/1>))) ratio./] [Complex (type.expecting Complex (phase archive (` <complex/1>))) complex./]]] ) @@ -159,16 +159,16 @@ ... else (phase.except ..no_arithmetic_for [:it:])))))))))] - [= [[.Nat .i64_=#|generation] - [.Int .i64_=#|generation] - [.Rev .i64_=#|generation] - [.Frac .f64_=#|generation] + [= [[.Nat .i64_=#|translation] + [.Int .i64_=#|translation] + [.Rev .i64_=#|translation] + [.Frac .f64_=#|translation] [Ratio ratio.=] [Complex complex.=]]] [< [[.Nat nat.<] - [.Int .int_<#|generation] + [.Int .int_<#|translation] [.Rev rev.<] - [.Frac .f64_<#|generation] + [.Frac .f64_<#|translation] [Ratio ratio.<]]] [> [[.Nat nat.>] [.Int int.>] @@ -212,9 +212,9 @@ (phase.except ..no_arithmetic_for [:it:])))))))))] [% [[.Nat nat.%] - [.Int .int_%#|generation] + [.Int .int_%#|translation] [.Rev rev.%] - [.Frac .f64_%#|generation] + [.Frac .f64_%#|translation] [Ratio ratio.%] [Complex complex.%]]] ) |