(Ara) include N2's c2 in ComplN2

This commit is contained in:
Inari Listenmaa
2018-11-27 17:34:16 +01:00
parent 576e730897
commit 29b5ac47fb

View File

@@ -174,7 +174,7 @@ lin
Use2N3 n3 = n3 ; Use2N3 n3 = n3 ;
Use3N3 n3 = n3 ** {c2 = n3.c3} ; Use3N3 n3 = n3 ** {c2 = n3.c3} ;
ComplN2 n2 np = UseN n2 ** {np=np.s} ; ComplN2 n2 np = UseN n2 ** {np = \\c => n2.c2.s ++ np.s ! n2.c2.c} ;
ComplN3 n3 np = ComplN2 n3 np ** {c2 = n3.c3} ; ComplN3 n3 np = ComplN2 n3 np ** {c2 = n3.c3} ;