GroupsCore.jl:实验组界面 源码

集团核心 Oscar / AbstractAlgebra项目的实验Group Interface 。 该协议包括两部分: Group (父对象)方法 GroupElement方法。 由于几乎没有任何信息可以在Type进行编码,因此我们依赖于代表组的parent对象以及普通的group元素。 假定组中的所有元素都具有相同的父元素(即=== ),即父对象在本地表现为单例。 Group方法 迭代 Base.eltype(::Type{G}) where G<:Group :返回元素的类型 Base.iterate(G::Group[, state]) :迭代功能 first(G)必须是身份 如果无法轻松建立有限性,则需要覆盖默认值 Base.IteratorSize(::Type{Group}) = Base.HasLength() 经过 Base.IteratorSize(::Typ