aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/math/modular.lux
blob: e6fe6678190de008a2e76692d01f4f5211a42765 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
(.using
  [library
   [lux {"-" private}
    ["$" documentation {"+" documentation:}]
    [data
     ["[0]" text {"+" \n}
      ["%" format {"+" format}]]]
    [macro
     ["[0]" template]]]]
  [\\library
   ["[0]" /]])

(documentation: (/.Mod %)
  "A number under a modulus.")

(documentation: /.modular
  ""
  [(modular modulus value)])

(documentation: /.adapter
  ""
  [(adapter reference subject)])

(.def: .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [..Mod
             ..modular
             ..adapter
             ($.default /.modulus)
             ($.default /.value)
             ($.default /.incorrect_modulus)
             ($.default /.codec)

             ($.default /.=)
             ($.default /.<)
             ($.default /.<=)
             ($.default /.>)
             ($.default /.>=)

             ($.default /.equivalence)
             ($.default /.order)

             ($.default /.+)
             ($.default /.-)
             ($.default /.*)
             
             ($.default /.addition)
             ($.default /.multiplication)
             ($.default /.inverse)
             ($.default /.moduli_are_not_equal)]
            []))