pow
This commit is contained in:
parent
15faffbf00
commit
e083e173e8
|
@ -196,4 +196,11 @@
|
||||||
<> ((mod ?x ?y)) ((mod1 (divmod ?x ?y)))
|
<> ((mod ?x ?y)) ((mod1 (divmod ?x ?y)))
|
||||||
<> ((mod1 (?q ?r))) (?r)
|
<> ((mod1 (?q ?r))) (?r)
|
||||||
|
|
||||||
(bstr (mul (int 123456789) (int 987654321)))
|
-- ( expontentiation )
|
||||||
|
<> ((pow ?x ())) ((1 ()))
|
||||||
|
<> ((pow ?x (0 ()))) ((1 ()))
|
||||||
|
<> ((pow ?x (1 ()))) (?x)
|
||||||
|
<> ((pow ?x (0 ?k))) ((pow (mul ?x ?x) ?k))
|
||||||
|
<> ((pow ?x (1 ?k))) ((mul ?x (pow (mul ?x ?x) ?k)))
|
||||||
|
|
||||||
|
(str (pow (int 13) (int 10)))
|
||||||
|
|
Loading…
Reference in New Issue