#5569: [with patch, needs work] weil restriction of scalars
---------------------------------+------------------------------------------
Reporter: malb | Owner: malb
Type: enhancement | Status: new
Priority: major | Milestone: sage-3.4.1
Component: commutative algebra | Keywords:
---------------------------------+------------------------------------------
Comment(by was):
{{{
15:43 < wstein> The patch looks good, except why not define the Weil
restriction of scalars
15:43 < wstein> functor.
15:43 < wstein> You don't define it, but giving a complete valid
mathematical definition only
15:43 < wstein> takes about 2-3 sentences.
15:43 < wstein> I can't see why not to do that.
15:43 < malb> okay
15:44 < wstein> Serge Lang first taught me about that construction using
equations
15:44 < wstein> when I was having lunch with him once in grad school.
15:44 < wstein> Then I personally realized it is a functor and used that
to prove that
15:44 < malb> I knew about this for a while but learned the proper name
just now
15:44 < wstein> it is unique up to whatever...
15:44 < wstein> It was just an exercise for me, of course, since it is all
well known.
15:45 < wstein> Also, could you add an example that involves an elliptic
curve (affine patch
of one, at least)
15:45 < wstein> over a quadratic field?
15:45 < wstein> That would be cool.
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5569#comment:1>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" 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/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
