Implement nonassociative rngs and rings

sagemath / sage

Main repository of SageMath

https://www.sagemath.org

Other

1.38k stars 471 forks source link

Implement nonassociative rngs and rings #16506

Open tscrim opened 10 years ago

tscrim commented 10 years ago

As the title indicates. Could be useful for #16492.

CC: @nthiery @simon-king-jena

Component: categories

Keywords: nonassociative, rng, rings, sd58

Author: Travis Scrimshaw

Branch/Commit: public/categories/nonassociative_rngs_rings-16506 @ f32c59f

Issue created by migration from https://trac.sagemath.org/ticket/16506

tscrim commented 10 years ago

New commits:

2c16d33 Implemented nonassociatve rngs and rings.

tscrim commented 10 years ago

Commit: 2c16d33

tscrim commented 10 years ago

Branch: public/categories/nonassociative_rngs_rings-16506

tscrim commented 10 years ago

comment:2

FYI, I didn't call this magmatic rng/ring because of #15043, and from a quick search, rng/ring almost always assumes associativity (i.e., we do not want to do something similar to #15043 for rngs/rings).

tscrim commented 10 years ago

Changed keywords from nonassociative to nonassociative, rng, rings, sd58

nthiery commented 10 years ago

comment:3

Hi!

Thanks for investigating this and #16492. If at this point there is no real code to put in them, it might not be worth it creating those categories. But let's discuss this face to face next week since I am on the train to Davis :-)

tscrim commented 10 years ago

comment:4

Alright. See you at FPSAC.

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 10 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

f32c59f Merge branch 'develop' into public/categories/nonassociative_rngs_rings-16506

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 10 years ago

Changed commit from 2c16d33 to f32c59f

fchapoton commented 9 years ago

comment:7

several failing doctests, see patchbot reports