> Actually more troubles is caused by SubsetCategory -- I think that > mere _existence_ of SubsetCategory is responsible for about 30% of > current compile time (and there is not so small code to support it). > SubsetCategory represents different variant of subtyping -- it is > category of subdomains of given domain, without specifing exact > domain but promising that you can coerce/ retract back and forth.
Where is this in the code? Are the files mentioned in http://www.mail-archive.com/[EMAIL PROTECTED]/msg00682.html the only place related to SubsetCategory? I wonder whether we could get rid of it. A grep of the algebra sources just yields 'fraction.spad.pamphlet'. Perhaps simply replacing Localize(M:Module R, R:CommutativeRing, S:SubsetCategory(Monoid, R)): Module R with by SubMonoid(R: Monoid): Category == Monoid with coerce: % -> R retract: R -> % Localize(M:Module R, R:CommutativeRing, S:SubMonoid(R)): Module R with (or something like that) should do. Am I wrong? I guess one would have to add some explicit calls to 'coerce', but if that improves the overall compilation time then <10 additional explicit coercions is a small price. Another related link... http://axiom-wiki.newsynthesis.org/SandBoxSubsetCategory Ralf --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
