abstract-algebra

5熱度

1回答

如何使用GAP從其乘法表中識別組的名稱？我知道，你可以從一組發電機組定義一個組，然後尋找該組中的一組內部表 gap> g := Group([ (1,2), (1,2,3,4,5) ]); Group([ (1,2), (1,2,3,4,5) ]) gap> IdGroup(g); [ 120, 34 ] 但你如何找出組的名稱[120，34]？

-1熱度

1回答

使用畫布繪製Rects

十萬我試圖使http://arapaho.nsuok.edu/~deckar01/Zvis.html 一個原生的Android版本，所以，我做了一個自定義的視圖，吸引所需的所有方塊。當然，一旦數字變得足夠大，Canvas開始繪製上千個方塊，這個繪圖就會花上10秒。有沒有更好的方法來做到這一點？似乎有一些顯而易見的東西我沒有想到做/使用。視圖的onDraw方法如下，以防有所幫助。有任何想法嗎？

0熱度

1回答

花圈產品的羣體在Sagemath

任何人都可以幫助我在Sagemath的團體花圈產品。我無法找到在線參考資料，但據我所知，它似乎沒有內置。任何可以提供的幫助都很好。謝謝。

3熱度

1回答

羣論和Python

如何編寫Python代碼來檢查Cayley表定義的集合{0,1，...，n-1}上的操作*是否是關聯的。我嘗試代碼： def is_associative_cayley_table(table): if not is_cayley_table(table): return False for i in range (0,len(table)): fo

4熱度

4回答

隨機產生關聯操作，

在抽象代數，一個group的概念是相當基本的。爲了得到一個組，我們需要一組對象，並且使用3 properties（如果您計算關閉，則爲4）執行二進制操作。如果我們想隨機生成一個給定有限集合的組（也就是說，隨機生成一個給出集合中每個可能組合元素的結果的集合），那麼在身份元素中進行攻擊並且反向攻擊非常容易，但似乎很難隨機生成一個關聯的操作。我的問題是，是否有一些（高效）的方式來隨機生成的關聯操作。我

6熱度

2回答

Hackage上的'algebra'包中的交換幺半羣

algebra/2.1.1.2/doc/html的文檔顯示了大量的類型類。如何申報有問題的結構必須配備一個交換相關操作和單位/單位元，但沒有任何東西（逆，分佈性等）？我在想 reduce :: Monoid m => (a -> m) -> [a] -> m 但Data.Monoid的情況下，不應該是可交換的，我想我的功能，用戶可以看到他們需要可交換的功能通過查看工作類型。

0熱度

2回答

抽象代數和編程之間的上下文

我是一個計算機科學專業的學生，我正在學習的東西是抽象代數，尤其是Group theory。我編程了大約5年，我從來沒有用過像抽象代數學的東西。編程和抽象代數之間的上下文是什麼？我真的必須知道。

8熱度

2回答

因式分解在Haskell

隨着hammar's help我做了一個模板哈斯克爾位，它編譯 $(zModP 5) 到 newtype Z5 = Z5 Int instance Additive.C Z5 where (Z5 x) + (Z5 y) = Z5 $ (x + y) `mod` 5 ... 我現在面對的，我不認爲我可以解決這個問題辦法。關於多項式的一個值得注意的事實是，如果它們是不可約的，則

3熱度

1回答

是好根據數學組理論設計對象

例如，假設你在設計一個類的對象稱爲Car，支持由符號，+表示的二進制運算，即你可以做car1 + car2其中car1和car2是的Car 情況下，當你剛跑完一個抽象代數課程，你嘗試設計類Car所以它是一個「羣」，根據數學羣論，因此類Car具有以下屬性： car1 + car2回報Car (car1 + car2) + car3 == car1 + (car2 + car3) 對於任何實例carx

3熱度

2回答

Monad：爲什麼身份很重要，如果一組中沒有這樣的特殊成員會發生什麼？

我正試圖學習monad的概念，我在看這個優秀的video Brian Beckend試圖解釋什麼是monad。當他談到monoid，這類型的集合，它的組成規則，而這種組合物具有服從2個規則：聯想：x @ (y @ z) = (x @ y) @ z 集合中的一個特殊的成員：x @ id = x and id @ x = x 我使用@代表組成的符號。 id表示特殊成員。第二點是我想了解的。爲什麼