30 Jan
2020
30 Jan
'20
10:25 a.m.
Cross-post from seqfan: http://list.seqfan.eu/pipermail/seqfan/2020-January/020454.html See also: https://pdfs.semanticscholar.org/3a41/3ed6779db174ff01c0debea7f41e12a215d0.p... Maybe it is easy to implement a reduction algorithm, but I'm not quite to the point of trying yet. --Brad