On Tue, Feb 6, 2018 at 12:04 PM, Waldek Hebisch
wrote:
> ...
> I would write:
>
> a * rightRecip(a) = 1
>
Noted.
>
> I should have written leftRecip and rightRecip _as functions_
> are different. In particular there are element where left
> inverse exists but right inverse does not exist (that
Bill Page wrote:
>
> On Tue, Feb 6, 2018 at 8:28 AM, Waldek Hebisch
> wrote:
> > Prof. Dr. Johannes Grabmeier wrote:
> >>
> >> So my remark shoud better read:
> >>
> >> All general functions as leftRecip and rightRecip and associator are
> >> superfluous as
> >> soon as we have an associative s
On Tue, Feb 6, 2018 at 8:28 AM, Waldek Hebisch wrote:
> Prof. Dr. Johannes Grabmeier wrote:
>>
>> So my remark shoud better read:
>>
>> All general functions as leftRecip and rightRecip and associator are
>> superfluous as
>> soon as we have an associative structure,
>
> That is more complicated,
Ralf Hemmecke:
>
> On 02/06/2018 03:14 PM, Waldek Hebisch wrote:
> > It is best to do defaulting of left/right recip to recip just in
> > one place,
>
> OK. I understand that wish.
>
> > For left/right recip correct
> > condtion seem to be a bit tricky, so we probably need extra
> > attribute sa
Ralf Hemmecke wrote:
>
> On 02/06/2018 02:51 PM, Waldek Hebisch wrote:
> > 3) I am not sure about wisdom of hiding functions. In old days
> >a lot of folks used simple strategy to learn a new program:
> >go trough menus or list of functions and look at things
> >with "promising" names
On 02/06/2018 03:14 PM, Waldek Hebisch wrote:
> It is best to do defaulting of left/right recip to recip just in
> one place,
OK. I understand that wish.
> For left/right recip correct
> condtion seem to be a bit tricky, so we probably need extra
> attribute say TwoSidedRecip. Then we need to se
Ralf Hemmecke wrote:
>
> On 02/01/2018 02:46 AM, oldk1331 wrote:
> > We can add default implementation of 'leftRecip', 'rightRecip'
> > to be 'recip' in Group.
>
> The patch
>
> https://github.com/hemmecke/fricas/commit/a9a7c7d72cdc2a7e3527a505c675ee3b09fcbb05
>
> https://github.com/hemmecke/fr
On 02/06/2018 02:51 PM, Waldek Hebisch wrote:
> 3) I am not sure about wisdom of hiding functions. In old days
>a lot of folks used simple strategy to learn a new program:
>go trough menus or list of functions and look at things
>with "promising" names. Now programs got much harder to
On 02/02/2018 08:34 AM, oldk1331 wrote:
> On Fri, Feb 2, 2018 at 2:42 PM, Ralf Hemmecke wrote:
>> On 02/01/2018 02:46 AM, oldk1331 wrote:
>>> We can add default implementation of 'leftRecip', 'rightRecip'
>>> to be 'recip' in Group.
>>
>> The patch
>>
>> https://github.com/hemmecke/fricas/commit/a
Bill Page wrote:
>
> Rather than adding something new to the compiler and user interface, I
> think it might be more appropriate if the FriCAS library was more
> explicit about possibly independent properties such as 'Associative'
> and 'Commutative'. FriCAS already has the category 'CommuativeSta
Prof. Dr. Johannes Grabmeier wrote:
>
> So my remark shoud better read:
>
> All general functions as leftRecip and rightRecip and associator are
> superfluous as
> soon as we have an associative structure,
That is more complicated, for example Cuntz algebra is associative,
but leftRecip is diff
On Fri, Feb 2, 2018 at 5:25 PM, Prof. Dr. Johannes Grabmeier privat
wrote:
> you are absolutely right, this argument was to quick and unprecise,
> I have to confess - after all, it was R. Wisbauer and myself who
> designed and implemented non-associative structures ages ago in
> 1991 and added rec
you are absolutely right, this argument was to quick and unprecise, I
have to confess - after all, it was R. Wisbauer and myself who designed
and implemented
non-associative structures ages ago in 1991 and added recip to
MagmaWithUnit (which was called MonadWithUnit at that time)
So my remark shou
On Fri, Feb 2, 2018 at 3:53 AM, Prof. Dr. Johannes Grabmeier privat
wrote:
>
> All general functions as leftRecip and rightRecip are superfluous as
> soon we have a recip, ...
I don't think so. For example 'MagmaWithUnit' is inherited by a very
large number of domains. It exports 'leftRecip' and
> This make
> it complicated for new users, because they get hundreds of functions and
> might have no clue, what is important and what is not.
I think this is an issue of lacking documentation.
If only we can have extensive documentation for each
Domain/Package (and in different formats: in sourc
On 02/02/2018 09:53 AM, Prof. Dr. Johannes Grabmeier privat wrote:
> All general functions as leftRecip and rightRecip are superfluous as
> soon we have a recip, associator is superfluous as soon we have an
> associative structure, also it should not disappear. My suggestion to
> help the novices t
Your discussion showa a problem which disturbs me since long: In
AXIOM/FriCAS we are try to be as general as possible, having
non-associative and non-commutation structure. Every commutative
structure is a special case of the general non-(neccesarily)
commuatative structure, every associative struc
On Fri, Feb 2, 2018 at 2:42 PM, Ralf Hemmecke wrote:
> On 02/01/2018 02:46 AM, oldk1331 wrote:
>> We can add default implementation of 'leftRecip', 'rightRecip'
>> to be 'recip' in Group.
>
> The patch
>
> https://github.com/hemmecke/fricas/commit/a9a7c7d72cdc2a7e3527a505c675ee3b09fcbb05
>
> https
On 02/01/2018 02:46 AM, oldk1331 wrote:
> We can add default implementation of 'leftRecip', 'rightRecip'
> to be 'recip' in Group.
The patch
https://github.com/hemmecke/fricas/commit/a9a7c7d72cdc2a7e3527a505c675ee3b09fcbb05
https://github.com/hemmecke/fricas/commit/a9a7c7d72cdc2a7e3527a505c675ee
We can add default implementation of 'leftRecip', 'rightRecip'
to be 'recip' in Group.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas
20 matches
Mail list logo