nexmon – Blame information for rev 1
?pathlinks?
Rev | Author | Line No. | Line |
---|---|---|---|
1 | office | 1 | # the affine hull of {[a,b] : a=b && 1 <= a <= 163} ... |
2 | 3 4 |
||
3 | |||
4 | 1 1 0 -1 |
||
5 | 1 -1 0 163 |
||
6 | |||
7 | # ... is {[a,b] : a=b} (and not {[In_1,In_2]}, as Omega 1.2 claims) |
||
8 | 1 4 |
||
9 |