Defactoring: Difference between revisions
Cmloegcmluin (talk | contribs) →defactored & enfactored vs. saturated and (con)torted: more detail on complaints: saturation & contorsion |
Cmloegcmluin (talk | contribs) |
||
| Line 476: | Line 476: | ||
If[Length[maybeDisarmedRow]==0, m, sadDefactor[Join[{m[[1]]},{ maybeDisarmedRow[[1]]}]]] | If[Length[maybeDisarmedRow]==0, m, sadDefactor[Join[{m[[1]]},{ maybeDisarmedRow[[1]]}]]] | ||
] | ]</nowiki> | ||
</nowiki> | |||
=== minors'n'back defactoring === | === minors'n'back defactoring === | ||