Changeset 3882 for docs


Ignore:
Timestamp:
Jun 17, 2014, 11:40:00 PM (5 years ago)
Author:
cameron
Message:

Ken's changes; i >> f

Location:
docs/Working/re
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • docs/Working/re/pact051-cameron.tex

    r3881 r3882  
    608608and then extracting the carry-out {\tt q} from the high bit position.
    609609\[\text{\tt i} = \text{\tt MatchStar(c*2+p, b)}\]
    610 \[\text{\tt q} = \text{verb:i >> f:}\]
     610\[\text{\tt q} = \text{\tt i >}\text{\tt > f}\]
    611611
    612612As described subsequently, we use a two-level long-stream addition technique
Note: See TracChangeset for help on using the changeset viewer.