2019-06-29 Chengsong created folder for 9mth report
2019-06-29 Chengsong footnote
2019-06-28 Christian Urban initial version
2019-06-26 Christian Urban fixed latex bug
2019-06-26 Chengsong easy changes, url to misc, author info format changing, mysterious bug on line 49
2019-06-26 Chengsong delete data unnecessary
2019-06-26 Chengsong now correct
2019-06-26 Chengsong added stackexchange url and contact details
2019-06-25 Christian Urban another superflous file
2019-06-25 Christian Urban deleted further generated files (including pdf)
2019-06-25 Christian Urban deleted data-files and further unnecessary parts in data.sty
2019-06-25 Chengsong hi
2019-05-08 Chengsong new version of slides
2019-05-05 Chengsong hello
2019-04-13 Chengsong the property
2019-04-12 Chengsong test of
2019-04-10 Chengsong removed C(c) The retrieve and code in the previous version is still not correct and will crash. no prob now.
2019-04-10 Chengsong The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis.
2019-03-23 Chengsong exp and proof
2019-03-22 Chengsong augmented version of proof sketch
2019-03-21 Chengsong pf
2019-03-16 Chengsong found the difference: caused by flats
2019-03-16 Chengsong random test failed
2019-03-16 Chengsong correctness test with enumeration
2019-03-15 Chengsong :test whether bsimp(bders(r, s)) == ders_simp(r,s)
2019-03-15 Chengsong removing PRED
2019-03-13 Chengsong more comments
2019-03-13 Chengsong i
2019-03-13 Chengsong run
(0) +120 tip