#18289: Make graph display configurable
-------------------------------------+-------------------------------------
Reporter: vbraun | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.7
Component: graph theory | Resolution:
Keywords: | Merged in:
Authors: Volker Braun | Reviewers: Nathann Cohen
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/vbraun/graph_preference | 4e6fd6bf921744ee94eef610ab3069b55e0d7e41
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by ncohen):
Hellooooooooooooooooooo,
> Here is a list of objects that IMHO should be plotted by default if the
object is simple enough and if the graphics can be displayed inline:
Sounds good. Why do you think we should *not* render small 3D objects too?
> The rich output should probably in general have a flag to show rich
output in addition to plain text vs. only show the rich output.
Hmmmmm. I am afraid that such decisions could have to be made locally, for
each specific object `:-/`
> I've added a workaround for dynkin diagrams until we get to #18328. IMHO
this is enough for one ticket.
I would like the graphs to not be the only objects that are automatically
plotted. I will write a commit for `Posets`, `Quivers` and `Polygons`.
Perhaps Braids and Knots too, if I figure out how it works inside.
> A more general name for the option might be `extra_graphics` instead of
`plot_graphs`. Or maybe `supplemental_graphics`?
What about `draw_graphics` or `plot_graphics` ?
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/18289#comment:99>
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.
