algebra

algebra copied to clipboard

Separate equality constraints from structure traits

2

I would like to try and separate the equality stuff from the structure traits. I'm thinking something like this: ``` rust pub trait MagmaAdditive : Add + Eq {} ```...

ghost

All operators should be parameterized for more general cases.

2

Current approach are not suitable for more general algebras: 1. Lattice consists of two semigroups, their operators have very similiar properties to each other and should not be assumed as...

ghost

Quickchecks fail in debug mode because of overflows

1

Currently quickcheck tests for quasigroup and semigroup fail because there is overflows.

WaDelma

Consider using brendanzab/approx for approximate equality traits.

7

sebcrozet

Discuss practical usages of algebraic structures in real world code

3

At the end of the day, the intention of this library is to provide a common basis for generic programming in Rust. It would be good to experiment with real...

brendanzab

Wrapper struct for ops are annoying to use.

7

The solution we chose for #18 is to parametrize traits over the operator symbol (which is identified using structs). Thus we don't have `MagmaAdditive` nor `MagmaMultiplicative` traits. The down side...

sebcrozet

I believe this requires some actions from the repository owner(s) to activate the service.

sebcrozet

Algebra and unsafe

6

If somebody wants to make use of algebraic properties in unsafe code, they cannot trust normal traits. Should there be some kind of unsafe marker trait that is needed for...

WaDelma

Add ApproxEq trait with asserts

8

See sebcrozet/nalgebra#40

brendanzab

Wrapper structs to use a richer structure as a lesser one

1

Given e.g. a group, there are two sensible ways to view it as a magma. In situations like this, it is not possible to express this relation via trait inheritance...

milibopp