Skip to content

Commit 1c23dff

Browse files
committed
changes
1 parent fda6910 commit 1c23dff

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

49 files changed

+215
-34
lines changed
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.D8
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.D8
22
{
33
public enum D8Symmetry { Rot000, Rot090, Rot180, Rot270, RefVer, RefDes, RefHoz, RefAsc }
44
}

CSharpClassLibrary/Algebra/AntimatroidModified/D8/D8SymmetryGroup.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.D8
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.D8
22
{
33

44
public class D8SymmetryGroup : D8SymmetryMonoid, IGroup<D8Symmetry>

CSharpClassLibrary/Algebra/AntimatroidModified/D8/D8SymmetryGroupoid.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.D8
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.D8
22
{
33

44
public class D8SymmetryGroupoid : IGroupoid<D8Symmetry>

CSharpClassLibrary/Algebra/AntimatroidModified/D8/D8SymmetryMonoid.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.D8
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.D8
22
{
33

44
public class D8SymmetryMonoid : D8SymmetryGroupoid,IMonoid<D8Symmetry>

CSharpClassLibrary/Algebra/AntimatroidModified/D8/D8SymmetrySemigroup.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.D8
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.D8
22
{
33
public class D8SymmetrySemigroup : D8SymmetryGroupoid, ISemigroup<D8Symmetry>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/IAbelianGroup.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33

44
public interface IAbelianGroup<T> : IGroup<T>

CSharpClassLibrary/Algebra/AntimatroidModified/IDivisionRing.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33
public interface IDivisionRing<T, A, M> : IRingWithUnity<T, A, M>
44
where A : IGroup<T>

CSharpClassLibrary/Algebra/AntimatroidModified/IField.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33
public interface IField<T, A, M> : IDivisionRing<T, A, M>
44
where A : IAbelianGroup<T>

CSharpClassLibrary/Algebra/AntimatroidModified/IGroup.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33

44
public interface IGroup<T>: IMonoid<T>

CSharpClassLibrary/Algebra/AntimatroidModified/IGroupoid.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33
public interface IGroupoid<T>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/IModule.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33
public interface IModule<
44
TScalar,

CSharpClassLibrary/Algebra/AntimatroidModified/IMonoid.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33

44
public interface IMonoid<T>: ISemigroup<T>

CSharpClassLibrary/Algebra/AntimatroidModified/IRing.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33
public interface IRing<T, A, M> : ISemiring<T, A, M>
44
where A : IGroup<T>

CSharpClassLibrary/Algebra/AntimatroidModified/IRingWithUnity.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33
public interface IRingWithUnity<T, A, M> : IRing<T, A, M>
44
where A : IGroup<T>

CSharpClassLibrary/Algebra/AntimatroidModified/IRingoid.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33

44
public interface IRingoid<T, A, M>

CSharpClassLibrary/Algebra/AntimatroidModified/ISemigroup.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33
public interface ISemigroup<T> : IGroupoid<T>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/ISemiring.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33
public interface ISemiring<T, A, M> : IRingoid<T, A, M>
44
where A : IMonoid<T>

CSharpClassLibrary/Algebra/AntimatroidModified/IUnitaryModule.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33
public interface IUnitaryModule<
44
TScalar,

CSharpClassLibrary/Algebra/AntimatroidModified/IVectorSpace.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
22
{
33
public interface IVectorSpace<
44
TScalar,
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class AdditiveRealAbelianGroup : AdditiveRealGroup, IAbelianGroup<double>
4+
{
5+
6+
}
7+
}
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class AdditiveRealGroup : AdditiverRealMonoid, IGroup<double>
4+
{
5+
public double Inverse(double a) => -a;
6+
}
7+
}
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class AdditiveRealGroupoid : IGroupoid<double>
4+
{
5+
public double Operation(double a, double b) => a + b;
6+
}
7+
}
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class AdditiveRealSemigroup : AdditiveRealGroupoid, ISemigroup<double>
4+
{
5+
6+
}
7+
}
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class AdditiverRealMonoid : AdditiveRealSemigroup, IMonoid<double>
4+
{
5+
public double Identity => 0L;
6+
}
7+
}
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class MultiplicativeRealGroupoid : IGroupoid<double>
4+
{
5+
public double Operation(double a, double b) => a * b;
6+
}
7+
}
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class MultiplicativeRealMonoid : MultiplicativeRealSemigroup, IMonoid<double>
4+
{
5+
public double Identity => 1.0;
6+
}
7+
}
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class MultiplicativeRealSemigroup : MultiplicativeRealGroupoid, ISemigroup<double>
4+
{
5+
6+
}
7+
}
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class RealRing : RealSemiring, IRing<double, AdditiveRealGroup, MultiplicativeRealMonoid>
4+
{
5+
public new AdditiveRealGroup Addition { get; init; }
6+
7+
public RealRing()
8+
{
9+
Addition = new();
10+
}
11+
}
12+
}
Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class RealRingoid : IRingoid<double, AdditiveRealGroupoid, MultiplicativeRealGroupoid>
4+
{
5+
public AdditiveRealGroupoid Addition { get; init; }
6+
public MultiplicativeRealGroupoid Multiplication { get; init; }
7+
8+
public RealRingoid()
9+
{
10+
Addition = new();
11+
Multiplication = new();
12+
}
13+
14+
public double Distribute(double a, double b) => Multiplication.Operation(a, b);
15+
}
16+
}
Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class RealSemiring : RealRingoid, ISemiring<double, AdditiverRealMonoid, MultiplicativeRealMonoid>
4+
{
5+
public new AdditiverRealMonoid Addition { get; init; }
6+
public new MultiplicativeRealMonoid Multiplication { get; init; }
7+
8+
public RealSemiring()
9+
{
10+
Addition = new();
11+
Multiplication = new();
12+
}
13+
}
14+
}
Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class RealVectorModule : IModule<double,
4+
Vector<double>,
5+
RealRing,
6+
AdditiveRealGroup,
7+
MultiplicativeRealMonoid,
8+
VectorAbelianGroup<double>>
9+
{
10+
public RealRing Scalar
11+
{
12+
get;
13+
private set;
14+
}
15+
16+
public VectorAbelianGroup<double> Vector
17+
{
18+
get;
19+
private set;
20+
}
21+
22+
public RealVectorModule()
23+
{
24+
Scalar = new RealRing();
25+
Vector = new VectorAbelianGroup<double>(/*new AdditiveRealAbelianGroup()*/);
26+
}
27+
28+
public Vector<double> Distribute(double t, Vector<double> r)
29+
{
30+
Vector<double> c = new Vector<double>();
31+
for (int i = 0; i < c.Dimension; i++)
32+
c[i] = Scalar.Multiplication.Operation(t, r[i]);
33+
return c;
34+
}
35+
}
36+
}
Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.RealNumber
2+
{
3+
public class VectorAbelianGroup<T> : IAbelianGroup<Vector<T>>
4+
{
5+
//public IAbelianGroup<T> AbelianGroup { get; init; }
6+
////public VectorAbelianGroup(IAbelianGroup<T> abelianGroup)
7+
////{
8+
//// AbelianGroup = abelianGroup;
9+
////}
10+
11+
public Vector<T> Identity => throw new System.NotImplementedException();
12+
13+
public Vector<T> Inverse(Vector<T> t)
14+
{
15+
throw new System.NotImplementedException();
16+
}
17+
18+
public Vector<T> Operation(Vector<T> a, Vector<T> b)
19+
{
20+
throw new System.NotImplementedException();
21+
}
22+
}
23+
}

CSharpClassLibrary/Algebra/AntimatroidModified/String/StringGroupoid.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.String
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.String
22
{
33
public record StringGroupoid : IGroupoid<string>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/String/StringMonoid.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.String
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.String
22
{
33
public record StringMonoid : StringSemigroup, IMonoid<string>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/String/StringSemigroup.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.String
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.String
22
{
33

44
public record StringSemigroup : StringGroupoid, ISemigroup<string>
Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified
2+
{
3+
public class Vector<T>
4+
{
5+
private T[] vector;
6+
7+
public int Dimension
8+
{
9+
get { return vector.Length; }
10+
}
11+
12+
public T this[int n]
13+
{
14+
get { return vector[n]; }
15+
set { vector[n] = value; }
16+
}
17+
18+
public Vector()
19+
{
20+
vector = new T[2];
21+
}
22+
}
23+
}

CSharpClassLibrary/Algebra/AntimatroidModified/ZnZ/AdditiveIntegerAbelianGroup.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.ZnZ
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.ZnZ
22
{
33
public class AdditiveIntegerAbelianGroup : AdditiveIntegerGroup, IAbelianGroup<long>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/ZnZ/AdditiveIntegerGroup.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.ZnZ
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.ZnZ
22
{
33
public class AdditiveIntegerGroup : AdditiveIntegerMonoid, IGroup<long>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/ZnZ/AdditiveIntegerGroupoid.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.ZnZ
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.ZnZ
22
{
33
public class AdditiveIntegerGroupoid : IGroupoid<long>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/ZnZ/AdditiveIntegerMonoid.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.ZnZ
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.ZnZ
22
{
33
public class AdditiveIntegerMonoid : AdditiveIntegerSemigroup, IMonoid<long>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/ZnZ/AdditiveIntegerSemigroup.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.ZnZ
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.ZnZ
22
{
33
public class AdditiveIntegerSemigroup : AdditiveIntegerGroupoid, ISemigroup<long>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/ZnZ/IntegerRing.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.ZnZ
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.ZnZ
22
{
33

44
public record IntegerRing : IntegerSemiring, IRing<long, AdditiveIntegerGroup, MultiplicativeIntegerMonoid>

CSharpClassLibrary/Algebra/AntimatroidModified/ZnZ/IntegerRingWithUnity.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.ZnZ
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.ZnZ
22
{
33
public record IntegerRingWithUnity : IntegerRing, IRingWithUnity<long, AdditiveIntegerGroup, MultiplicativeIntegerMonoid>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/ZnZ/IntegerRingoid.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.ZnZ
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.ZnZ
22
{
33

44
public record IntegerRingoid : IRingoid<long, AdditiveIntegerGroupoid, MultiplicativeIntegerGroupoid>

CSharpClassLibrary/Algebra/AntimatroidModified/ZnZ/IntegerSemiring.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.ZnZ
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.ZnZ
22
{
33

44
public record IntegerSemiring : IntegerRingoid, ISemiring<long, AdditiveIntegerMonoid, MultiplicativeIntegerMonoid>

CSharpClassLibrary/Algebra/AntimatroidModified/ZnZ/MultiplicativeIntegerGroupoid.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.ZnZ
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.ZnZ
22
{
33
public class MultiplicativeIntegerGroupoid : IGroupoid<long>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/ZnZ/MultiplicativeIntegerMonoid.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.ZnZ
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.ZnZ
22
{
33
public class MultiplicativeIntegerMonoid : MultiplicativeIntegerSemigroup, IMonoid<long>
44
{

CSharpClassLibrary/Algebra/AntimatroidModified/ZnZ/MultiplicativeIntegerSemigroup.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
namespace CSharpClassLibrary.Algebra.One.ZnZ
1+
namespace CSharpClassLibrary.Algebra.AntimatroidModified.ZnZ
22
{
33
public class MultiplicativeIntegerSemigroup : MultiplicativeIntegerGroupoid, ISemigroup<long>
44
{

0 commit comments

Comments
 (0)