Add test user-level jet.

This commit is contained in:
C. Guy Yarvin 2014-12-03 15:21:55 -08:00
parent 947bd1cb97
commit 7d9a4c6073
4 changed files with 14 additions and 3 deletions

View File

@ -2237,7 +2237,7 @@
:: ::
+- tap :: adds list to end +- tap :: adds list to end
|= b=(list ,_?>(?=(^ a) n.a)) |= b=(list ,_?>(?=(^ a) n.a))
=+ z=0 :: XX breaks match =+ z=0 :: XX breaks jet match
^+ b ^+ b
?~ a ?~ a
b b

View File

@ -1,12 +1,19 @@
:: ::
:: zuse (3), standard library (tang) :: zuse (3), standard library (tang)
:: ::
~% %zuse + ~
|% |%
:::::::::::::::::::::::::::::::::::::::::::::::::::::: :: :::::::::::::::::::::::::::::::::::::::::::::::::::::: ::
:::: chapter 3b, Arvo libraries :::: :::: chapter 3b, Arvo libraries ::::
:: :::::::::::::::::::::::::::::::::::::::::::::::::::::: :: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 3bA, lite number theory :: :: section 3bA, lite number theory ::
:: ::
++ dope
~/ %dope
|= a=@
~& [%dope-zuse (mug +>)]
:(mul a a a)
::
++ fu :: modulo (mul p q) ++ fu :: modulo (mul p q)
|= a=[p=@ q=@] |= a=[p=@ q=@]
=+ b=?:(=([0 0] a) 0 (~(inv fo p.a) (~(sit fo p.a) q.a))) =+ b=?:(=([0 0] a) 0 (~(inv fo p.a) (~(sit fo p.a) q.a)))

View File

@ -1,5 +1,8 @@
~% %util +> ~
|% |%
++ sqar ++ sqar
~/ %sqar
|= @ |= @
(mul +< +<) :: (dope +<)
:(mul +< +< +<)
-- --

View File

@ -1,7 +1,8 @@
/+ sqar /+ sqar
!:
;html ;html
;head ;head
;title: skwaring ;title: skuaring
== ==
;body ;body
;p: 15 skwared is {<(sqar 15)>} ;p: 15 skwared is {<(sqar 15)>}