#17073: Documentation for Facade Sets
-------------------------------------+-------------------------------------
Reporter: ncohen | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.4
Component: categories | Resolution:
Keywords: | Merged in:
Authors: Nicolas M. Thiéry | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/nthiery/documentation_for_facade_sets|
326da075daeeb625bb56adfe55ed03e47ecddf40
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by nthiery):
Replying to [comment:7 jmantysalo]:
> I understand everything until the end.
That's good news :-)
> There is an example with `P(2) < P(3)`. However, this is just the part
where difference between facade and non-facade sets could be shown.
Ok, good idea. I just used a slightly different example,
mathematically natural, and that is in line with the previous one.
> {{{
> # Maybe also P.unwrap(P(2)) < P.unwrap(P(1)) here?
> }}}
I left that out: this would certainly make sense in a specific
documentation about facade posets, but not here: so far only posets
follow that convention.
> It is unnecessary to know that MuPAD was first system with facade sets.
On the contrary, when we reuse concepts introduced by other systems,
we should give appropriate credit!
> Authors-field should be filled.
Done!
Thanks for the review,
Nicolas
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=326da075daeeb625bb56adfe55ed03e47ecddf40
326da07]||{{{17073: added example comparing explicitly the facade and non
facade situations}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/17073#comment:10>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
