> Waldek wrote: >> 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. >
On Thu, Dec 4, 2008 at 5:01 AM, Ralf Hemmecke wrote: > 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? > Let's try it! I do not see any fundamental role played by 'SubsetCategory'. But the domain constructor 'SubDomain' is a completely different thing. That I believe, should be a fundamental part of the language. > 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 > I agree. Regards, Bill Page. --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
