On 2016-01-21 02:35, William Stein wrote:
> On Wed, Jan 20, 2016 at 2:02 PM, Vincent Delecroix
> <20100.delecr...@gmail.com> wrote:
> For completeness (when somebody finds this via a search) if you follow
> the trac ticket, you'll see the nice simple code Vincent just wrote:
>
> def _pushout_(
On Wed, Jan 20, 2016 at 6:07 PM, Vincent Delecroix
<20100.delecr...@gmail.com> wrote:
>
>> Indeed, that is very nice, and it's hard to imagine something simpler.
>> Great job people who designed this (Robert Bradshaw et al.)!
>
>
> For completeness, this feature with _pushout_ method was introduced
On 20/01/16 22:35, William Stein wrote:
On Wed, Jan 20, 2016 at 2:02 PM, Vincent Delecroix
<20100.delecr...@gmail.com> wrote:
Sorry... I found out! We can implement a _pushout_ in the parent. Very
simple. Sorry for the noise.
For completeness (when somebody finds this via a search) if you foll
On Wed, Jan 20, 2016 at 2:02 PM, Vincent Delecroix
<20100.delecr...@gmail.com> wrote:
> Sorry... I found out! We can implement a _pushout_ in the parent. Very
> simple. Sorry for the noise.
For completeness (when somebody finds this via a search) if you follow
the trac ticket, you'll see the nice
