14 lines
339 B
Text
14 lines
339 B
Text
{def identity
|
|
{lambda {:n}
|
|
{A.new {S.map {{lambda {:n :i}
|
|
{A.new {S.map {{lambda {:i :j}
|
|
{if {= :i :j} then 1 else 0} } :i}
|
|
{S.serie 0 :n}}}} :n}
|
|
{S.serie 0 :n}} }}}
|
|
-> identity
|
|
|
|
{identity 2}
|
|
-> [[1,0],[0,1]]
|
|
|
|
{identity 5}
|
|
-> [[1,0,0,0,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]]
|