On 08.05.2018 15:36, Martin Baker wrote:
> It is hidden for me, I turn off HyperDoc in the start up script and I use
> fricas.github.io.
>
> I think its about time HyperDoc was got rid of. I think its clunky, old
> fashioned and off-putting for users and hard to write for developers.
>
> Martin
>
> On 08/05/18 13:19, Waldek Hebisch wrote:
> > Hmm, have you looked at:
> >
> > https://sourceforge.net/p/fricas/code/HEAD/tree/trunk/src/doc/htex/GROUPP.htex
> >
> > Do you think that this is "hidden"?
>
> It is hidden for me, I turn off HyperDoc in the start up script and I
> use
On 08/05/18 13:19, Waldek Hebisch wrote:
Hmm, have you looked at:
https://sourceforge.net/p/fricas/code/HEAD/tree/trunk/src/doc/htex/GROUPP.htex
Do you think that this is "hidden"?
It is hidden for me, I turn off HyperDoc in the start up script and I
use fricas.github.io.
I think its
Martin Baker wrote:
>
> Waldek,
>
> As I said before, I'm not suggesting that the reference documentation
> tries to teach the mathematics but I do think it should allow potential
> users to match the mathematics to the code. I think my ideal would be to
> allow both short and long
Waldek,
As I said before, I'm not suggesting that the reference documentation
tries to teach the mathematics but I do think it should allow potential
users to match the mathematics to the code. I think my ideal would be to
allow both short and long explanations in the '++' comments.
Try to
Martin Baker wrote:
>
> If I was scanning through this very quickly I would probably have
> assumed that the free group was a presentation without relations and
> this function was adding the relations (that is the free group was the
> generators and not the relations). Its obviously not that
Ralf Hemmecke wrote:
>
> >if m < 0 then
> >k := -m
> >else
> >k := m
>
> Why not
>
> k := if m < 0 then -m else m
>
> ?
>
> Isn't SPAD like Aldor in this case? The "if" construction has a value if
> both branches return something of the same type?
Sure, you can use
>if m < 0 then
>k := -m
>else
>k := m
Why not
k := if m < 0 then -m else m
?
Isn't SPAD like Aldor in this case? The "if" construction has a value if
both branches return something of the same type?
Ralf
--
You received this message because you are subscribed to the
Waldek,
Thank you for that explanation I, at least, found it really helpful,
especially the Mathieu group example.
> However, it is not really task of _reference_ documentation to
> provide education to such users. First, much of needed
> background knowledge can be found in existing
On 05/05/2018 12:47 PM, Waldek Hebisch wrote:
First, much of needed
background knowledge can be found in existing mathematical
texts. Second, beginning users need tutorials and tutorials
are written in quite different way than reference documentation.
I agree but wouldn't references/pointers
Martin Baker wrote:
>
> On 04/05/18 19:43, Waldek Hebisch wrote:
> > Group presentation can be defined as a set of elements of
> > a free group and frequently published group presentations
> > are written in this way. Below is a little package to
> > convert from list of generators and list
Ralf Hemmecke wrote:
>
> Waldek, why do you prefer
>
> > k :=
> > m < 0 => -k
> > k
>
> instead of
>
> if m < 0 then k := -k
>
In this case just due to habit. But in sligtly different setting
k :=
m < 0 => -m
m
Waldek, why do you prefer
> k :=
> m < 0 => -k
> k
instead of
if m < 0 then k := -k
?
Ralf
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from
On 04/05/18 19:43, Waldek Hebisch wrote:
> Group presentation can be defined as a set of elements of
> a free group and frequently published group presentations
> are written in this way. Below is a little package to
> convert from list of generators and list of elements
> of free group to group
Group presentation can be defined as a set of elements of
a free group and frequently published group presentations
are written in this way. Below is a little package to
convert from list of generators and list of elements
of free group to group presentation.
I plan to commit it, but first I
15 matches
Mail list logo
