finite_cyclic_groups[T:Type+,*:[T,T->T],one:T]: THEORY %----------------------------------------------------------------------------- % Cyclic Groups % % Author: Rick Butler % % This are groups generated by an element and repeated multiplication % using the following defined in theory group. % % generated_by(a): group = {t: T | EXISTS (i: int): t = a^i} % % cyclic?(G): boolean = EXISTS (a:(G)): G = generated_by(a) % %----------------------------------------------------------------------------- BEGIN
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
