change example name and AbelianGroup impl

pluto · Jul 31, 2024 · e16046a · e16046a
1 parent 36c0789
commit e16046a
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -32,4 +32,4 @@ ark-std      ={ git="https://github.com/arkworks-rs/std/" }
 name="aes_chained_cbc"
 
 [[example]]
-name="permutation_group"
+name="symmetric_group"
diff --git a/examples/permutation_group.rs → examples/symmetric_group.rs b/examples/permutation_group.rs → examples/symmetric_group.rs
diff --git a/src/algebra/group/mod.rs b/src/algebra/group/mod.rs
@@ -60,7 +60,7 @@ pub trait FiniteGroup: Finite + Group {
 /// Defines a group with commutative operation: `a·b=b·a`
 pub trait AbelianGroup: Group {
   /// Returns whether the group is an abelian group
-  fn is_abelian(a: &Self, b: &Self) -> bool { Self::op(a, b) == Self::op(b, a) }
+  fn is_abelian(a: &Self, b: &Self) { assert!(Self::op(a, b) == Self::op(b, a)) }
 }
 
 #[const_trait]