Changes between Initial Version and Version 1 of Ticket #18514, comment 337


Ignore:
Timestamp:
04/05/18 19:28:07 (22 months ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18514, comment 337

    initial v1  
    22> I was told at some point that `OptionalExtension` should only be used when the optional extension provides a different implementation of a functionality that is also provided by the default sage library. In contrast, one shouldn't use `OptionalExtension` for functionality that would simply not be available without an optional spkg.
    33
    4 I don't know where you got this idea. There is nothing with truly providing optional functionality (not available otherwise) this way.
     4I don't know where you got this idea. There is nothing wrong with truly providing optional functionality (not available otherwise) this way.