sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Logical Boolean ops in bigints.joy.

This commit is contained in:
Simon Forman 2023-02-14 20:31:35 -08:00
parent db9c2c16a9
commit aee4365929
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
joy_code/bigints/bigints.joy
View File

@ -34,7 +34,7 @@ clear
[initial-carry false rollup] [initial-carry false rollup]
[same-sign [first] ii xor not] [same-sign [first] ii _\/_ not]
[extract-sign [uncons] dip rest] [extract-sign [uncons] dip rest]
[add-like-bigints extract-sign add-digits cons] [add-like-bigints extract-sign add-digits cons]
@ -47,8 +47,8 @@ clear
[_btlc0.4 [uncons-two] [dipd] sandwich] [_btlc0.4 [uncons-two] [dipd] sandwich]
[_btlc0 _btlc0.3 _btlc0.4] [_btlc0 _btlc0.3 _btlc0.4]
[_btlc1 [[ifte] ccons [P'] swons [P] swap] dip] [_btlc1 [[ifte] ccons [P'] swons [P] swap] dip]
[P [bool] ii & not] [P [bool] ii /\ not]
[P' [bool] ii |] [P' [bool] ii \/]
[carry [] [1 swons] branch] [carry [] [1 swons] branch]
@ -59,7 +59,7 @@ clear
[check-gt [gt-bigint] [swap [not] dipd] [] ifte] [check-gt [gt-bigint] [swap [not] dipd] [] ifte]
[gt-bigint <<{} [_gtb_P] [_gtb_BASE] [_gtb_R1] tailrec] [gt-bigint <<{} [_gtb_P] [_gtb_BASE] [_gtb_R1] tailrec]
[_gtb_R1 uncons-two [unit cons swons] dipd] [_gtb_R1 uncons-two [unit cons swons] dipd]
[_gtb_P [bool] ii & not] [_gtb_P [bool] ii /\ not]
[_gtb_BASE [bool] [popop pop true] [_gtb_BASE'] ifte] [_gtb_BASE [bool] [popop pop true] [_gtb_BASE'] ifte]
[_gtb_BASE' [pop bool] [popop pop false] [popop compare-pairs] ifte] [_gtb_BASE' [pop bool] [popop pop false] [popop compare-pairs] ifte]