To Ralph Freese and the others responsible for UAcalc:
If your XML-based file format for finite algebras involves each row of each operation table to be labeled by the elements comprising the row, then why on earth doesn't the calculator use that information? If I have a three element operation \(m(x,y,z)\) and the first row given in the XML has label r = "[1,2]" (meaning \(m(1,2,x)\), with \(x\) ranging across the algebra), why does UAcalc think that this is the row \(m(0,0,x)\)?
No comments:
Post a Comment