Activity
From 15 Sep 2018 to 14 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