Activity
From 07 Sep 2018 to 06 Oct 2018
29 Sep 2018
- 12:51 0.25 hour (Design #1223 (Closed): NewPolyRing default indet names)
- One more step
28 Sep 2018
- 18:05 2.50 hours (Design #1223 (Closed): NewPolyRing default indet names)
- Mostly done?
- 14:51 0.25 hour (Design #1223 (Closed): NewPolyRing default indet names)
- Choice
21 Sep 2018
- 16:17 1.00 hour (Feature #1227 (New): exgcd; solve Bezout equation)
- Make more general?
19 Sep 2018
- 14:23 0.50 hour (Feature #1227 (New): exgcd; solve Bezout equation)
- Some notes
Also available in: Atom