Re: [fricas-devel] Noncommutative factorization

> > On Sat, Nov 10, 2018 at 12:02 PM Waldek Hebisch > > wrote: > > ... > > > > > > I have now implemented the lift part of Davenport-Caruso method. > > > You fetch code at: > > > > > > http://www.math.uni.wroc.pl/~hebisch/fricas/dcfact2.input > > > http://www.math.uni.wroc.pl/~hebisch/fricas/nc_in

Re: [fricas-devel] Noncommutative factorization

On Sat, Nov 10, 2018 at 9:08 PM Bill Page wrote: > > On Sat, Nov 10, 2018 at 12:02 PM Waldek Hebisch > wrote: > ... > > > > I have now implemented the lift part of Davenport-Caruso method. > > You fetch code at: > > > > http://www.math.uni.wroc.pl/~hebisch/fricas/dcfact2.input > > http://www.math