I want to create a polynomial ring which has float Coefficients like this. I can create with integers but, Floats does not work. It gives me this e ...
I want to create a polynomial ring which has float Coefficients like this. I can create with integers but, Floats does not work. It gives me this e ...
I'm (relatively) new to Haskell and want to code some math. For example, abelian groups. I would like to write the following code: Compiling the ab ...
I've been doing some light reading on functional programming concepts and ideas. So far, so good, I've read about three main concepts: algebraic struc ...
Take a cyclic group $\mathbb{Z}_n$ with the order $n$. The elements are: $$\mathbb{Z}_n = {1,2,...,n-1}$$. For each of the elements, let us call the ...
This is a two-part question, but the second part is dependent on the first part. For educational purposes, I am trying to implement an abstract base ...
I have been working on finite field. Suppose I have a prime number p=7. So I get a list q=[0,1,2,3,4,5,6]. Now I want all the possible permutation of ...
I am trying to construct GF(2) in Coq using the standard library definition of a field over the standard library's boolean implementation. to be clea ...
In Haskell, there is a type class called Extend. The class is defined as the following Every instance of the Extend class should have the followin ...
I'm creating all the necessary functions for RSA algorithm. Unfortunately i can't seem to a make proper Carmichael function. These are the functions ...
There is a nice Free Alternative in the great free package, which lifts a Functor to a left-distributive Alternative. That is, the claim is that: ...
How do you write a Python code to check if the operation ∗ on the set {0,1,..,n−1} defined by a Cayley table is associative or not. My attempted code ...
Can anyone help me with taking Wreath Products of Groups in Sagemath? I haven't been able to find a online reference and it doesn't appear to be buil ...
I am trying to enumerate in 'C#' all the possible polynomials given the degree. Is there any algorithm to enumerate all possible polynomials given deg ...
I'm trying to learn the concept of monad, I'm watching this excellent video Brian Beckend trying to explain what is monad. When he talks about monoid ...
I am new to HyperLogLog and Scala, and am trying to use the Twitter Algebird's HyperLogLog implementation - https://github.com/twitter/algebird/blob/d ...
Im a Haskell beginner and I'm still learning about Category Theory and its practical use in computer science. I've spent last day watching couple lec ...
I am trying to make a native Android version of http://arapaho.nsuok.edu/~deckar01/Zvis.html So, I made a custom View that draws all the squares need ...
Our problem here is to show that using Kleene algebras with test. In the case when the value of b is preserved by p, we have the commutativity con ...
Number of binary operation on a set of 2 elements is 2^(2*2)=16. Number of associative binary operation on that set is only 8. Number of binary oper ...
I've written an extended Euclidean algorithm function that, for nonzero finite field elements a,b ∈ GF(pm), calculates s and t such that sa + tb = ...