Simon Brandhorst

When you resolve the conflicts, I will merge. Looks good to me.

Yes `A` has elements. And probably also generators since I am interested in `A` as a group too. For instance I might ask for the order of `A` or define...

I see. What I have in mind and what I did not say, are groups consisting of automorphisms - not necessarily the full automorphism group. I do not have a...

I need matrix groups over QQ and ZZ, later possibly over number fields. Typically these will be finite groups. Seems like right now they are not at all operational.

Like any functionality would be good. ``` julia> g = ZZ[0 1; 1 0] [0 1] [1 0] julia> G = matrix_group([g]) Matrix group of degree 2 over Integer Ring...

+1 for @thofma s proposition. It is certainly an improvement.

> @tthsqe12 No, thankfully no one can do this. > > I don't understand why we would want to hide generators of ideals by default. Was there some discussion I...

My impression is that the element knows it?

> The elements of a GB are referred to using `gens`: julia> gens(groebner_basis(J)) How about replacing `gens` by `elements`? > > Any thoughts somebody? I would say that `groebner_basis(J)` should...

Please make a separate pull request dealing with ideal sheaves. It will be easier to review for me.