Hello, I found out that if an add or a mul are unarchived no sorting of terms or factors occurs. Since the canonical ordering depends on the order in which symbols are declared and thus may well be different in the archiving and the unarchiving program, I think this is wrong. A patch is attached that is supposed to solve this. Bye, Chris Dams