On 29/03/17 21:51, Waldek Hebisch wrote:
Martin Baker wrote:
I don't think it is good enough to say that, in FriCAS, the only
documentation for an important topic like group theory is an
out-of-print book.
I am not sayng that. Just that claiming that there is no
good documentation is wrong.
Martin Baker wrote:
>
> > 3) Coming back to specific question of Schreir-Sims algorithm.
> >This algorithm is described in A. Seress book "Permutation
> >group algorithms". IMO this is quite good description.
> >AFAICS think this book is not freely available. Once
> >somebody und
On 26 March 2017 at 23:49, Waldek Hebisch wrote:
>
> 1) I am against putting large amount of text into code files.
>One reason is ease of finding things: for finding things
>I depend on grep. Free text complicates grep searches
>because it tends to produce false positives.
Of course
3) Coming back to specific question of Schreir-Sims algorithm.
This algorithm is described in A. Seress book "Permutation
group algorithms". IMO this is quite good description.
AFAICS think this book is not freely available. Once
somebody understands the algorithm tracking code shoul
On 27/03/17 04:49, Waldek Hebisch wrote:
some passage look completely
wrong, like:
+The use of the Vector domain for this does seem to be stretching
+the FriCAS type system a bit. For instance elements of subgroup are
+coded as a vector of a vector (Vector Vector NNI) which would not be
+vali
>
> I have added some documentation to permgrps in patch here:
> https://github.com/martinbaker/fricasAlgTop/blob/master/permgrps2.patch
>
> This contains documentation only, no code changes.
>
> By 'documentation' I mean comments + literate.
> By 'literate' I mean formatted text. I have not tri
On 24/03/17 02:06, oldk1331 wrote:
By 'literate' I mean formatted text.
Do you mean '\spad{}' markup?
No I meant the LaTeX formatted text between ')if false' and ')endif'. I
think the term should really be used for the methodology that Tim is
using in Axiom rather that what it has become he
> By 'literate' I mean formatted text.
Do you mean '\spad{}' markup?
> I don't know how you feel about a third party (me)
> writing comments for other peoples code?
Documentation and comments should be treated
as code, of course everyone can and should improve.
> I don't feel qualified to try t
I have added some documentation to permgrps in patch here:
https://github.com/martinbaker/fricasAlgTop/blob/master/permgrps2.patch
This contains documentation only, no code changes.
By 'documentation' I mean comments + literate.
By 'literate' I mean formatted text. I have not tried to follow lit