Making Ring extensions of Z

[isolatedinformation]

AbstractAlgebra.jl cannot be used. For multivariate rings, this package only supports Integers and Rationals.

As in the above image, we need support for both complex numbers (omega) and irrationals

Possible Solution

• Make custom Ring functionality serving inspiration from the Haskell code.

[isolatedinformation]

http://www.thofma.com/Hecke.jl/dev/number_fields/fields/ --> Check out the functionality for Quadratic,and cyclotomic field in this package that depends on AbstractAlgebra.jl.

Q: Can I work with fields instead of rings?

[isolatedinformation]

The latest update is: Decided to make own custom ring types. #3 solves this. To Do:

• [ ] Create custom Ring types and constructors for different types
• [ ] define basic operations like (+,*, Adjoint for the custom types)