LLL glossary: "linear"
Raul Deluth Miller
rockwell@nova.umd.edu
Sun, 25 Dec 1994 15:09:44 -0500
Henry Baker is generically working on unifying concepts from a wide
variety of languages. This particular paper is on the concept of
"linear variables". These are things that are created (once) and
destroyed (once) -- this is an important concept in a variety of
language and system implementation contexts.
ftp://ftp.netcom.com/pub/hb/hbaker/Use1Var.html
--
Raul D. Miller N=:((*/pq)&|)@ NB. public e, y, n=:*/pq
<rockwell@nova.umd.edu> P=:*N/@:# NB. */-.,e e.&factors t=:*/<:pq
1=t|e*d NB. (,-:<:)pq is four large primes, e medium
x-:d P,:y=:e P,:x NB. (d P,:y)-:D P*:N^:(i.#D)y [. D=:|.@#.d