#16552: oval in finite projective plane
-------------------------------------+-------------------------------------
Reporter: vdelecroix | Owner:
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-6.3
Component: combinatorial | Resolution:
designs | Merged in:
Keywords: | Reviewers:
Authors: Vincent Delecroix | Work issues:
Report Upstream: N/A | Commit:
Branch: | f7989eb77ceb0f23b07568e8433d7a27b74861de
u/vdelecroix/16552 | Stopgaps:
Dependencies: #16500 |
-------------------------------------+-------------------------------------
Comment (by ncohen):
Yo !
> I will create a decorator `@output_type_depends_on_input` especially for
you!
We need a category of functions whose output depends on the input and
combinatorial maps from there to everywhere else.
> If I do this I would rewrite partly the `IncidenceStructure` class
(especially hide the attributes).
Honestly, if you feel like working on `IncidenceStructure` we can rewrite
it together. Up to now I have been alternatively 1) scared to use it
because of the bugs I already found there 2) not sufficienty stuck to need
to rewrite it.
> For a class `DesarguesianProjectivePlane` there is no need to store the
points or the blocks. It will be as fast as you whish to do it on the
fly...
Ahahahah. Well, if you want to get better performances on this kind of
stuff ...
> But then comes from the problem with labels... should we steal the
implementation that is in graph?
`T_T`
Well. If we .... sigh .... let block designs have a different ground set,
we should do it in such a way that we can work with integers when we want
to without being in trouble. Perhaps it just means that we need to have
"integer" counterparts to every "labelled" function.
> For example:
> {{{
> sage: K = GF(3)
> sage: P = designs.ProjectivePlane(K)
> sage: R.<t> = K[t]
> sage: oval = P.points_of_parametrized_curve((t,t^2))
> }}}
HMmmmm... I have no idea if it is the right place `O_o`
I really have no idea.... `O_o`
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/16552#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.
