-
Notifications
You must be signed in to change notification settings - Fork 1
/
FlipRotate16D.cs
130 lines (118 loc) · 3.73 KB
/
FlipRotate16D.cs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
using System;
using System.Collections.Generic;
using System.Diagnostics;
using CultureInfo = System.Globalization.CultureInfo;
using DotNetTransformer.Math.Group;
using DotNetTransformer.Math.Permutation;
namespace DotNetTransformer.Math.Transform {
using T = FlipRotate16D;
using P = PermutationInt64;
[Serializable]
[DebuggerDisplay("{ToString()}, CycleLength = {CycleLength}")]
public struct FlipRotate16D : IFlipRotate<T, P>
{
public readonly P Permutation;
private readonly short _vertex;
public FlipRotate16D(P permutation, int vertex) {
Permutation = permutation;
_vertex = (short)vertex;
}
public static T None { get { return new T(); } }
public static T GetFlip(int dimension) {
if((dimension & -_dimCount) != 0)
throw new ArgumentOutOfRangeException("dimension");
return new T(new P(), 1 << dimension);
}
public static T GetRotate(int dimFrom, int dimTo) {
if((dimFrom & -_dimCount) != 0)
throw new ArgumentOutOfRangeException("dimFrom");
if((dimTo & -_dimCount) != 0)
throw new ArgumentOutOfRangeException("dimTo");
if(dimFrom == dimTo)
throw new ArgumentException(
);
long x = dimFrom ^ dimTo;
P p = new P((x << (dimFrom << 2)) ^ (x << (dimTo << 2)));
return new T(p, 1 << dimTo);
}
private const byte _dimCount = 16;
P IFlipRotate<T, P>.Permutation { get { return Permutation; } }
public int Vertex { get { return _vertex & 0xFFFF; } }
public int CycleLength {
get {
return this.GetLengthTo<T>(None);
}
}
public T InverseElement {
get {
P p = -Permutation;
return new T(p, p.GetNextVertex<P>(Vertex));
}
}
public T Add(T other) {
P p = Permutation;
return new T(p + other.Permutation,
p.GetNextVertex<P>(other.Vertex) ^ Vertex
);
}
public T Subtract(T other) {
P p = Permutation - other.Permutation;
return new T(p,
p.GetNextVertex<P>(other.Vertex) ^ Vertex
);
}
public T Times(int count) {
return this.Times<T>(count);
}
public override int GetHashCode() {
return Permutation.GetHashCode() ^ Vertex;
}
public override bool Equals(object o) {
return o is T && Equals((T)o);
}
public bool Equals(T o) {
return Permutation == o.Permutation && Vertex == o.Vertex;
}
public override string ToString() {
return string.Format(
CultureInfo.InvariantCulture,
"P:{0} V:{1:X4}", Permutation, Vertex
);
}
/// <exception cref="ArgumentException">
/// <exception cref="ArgumentNullException">
/// Invalid <paramref name="s"/>.
/// </exception>
/// </exception>
public static T FromString(string s) {
if(ReferenceEquals(s, null)) throw new ArgumentNullException();
string[] ss = s.Trim().Split(
(" ").ToCharArray(),
StringSplitOptions.RemoveEmptyEntries
);
int len = ss.GetLength(0);
if(len != 2) throw new ArgumentException();
Dictionary<string, string> dict = new Dictionary<string, string>();
for(int j = 0; j < len; ++j) {
int i = ss[j].IndexOf(':');
dict.Add(ss[j].Substring(0, i), ss[j].Substring(i + 1));
}
return new T(
P.FromString(dict["P"]),
int.Parse(dict["V"]
, System.Globalization.NumberStyles.HexNumber
, CultureInfo.InvariantCulture
)
);
}
public static bool operator ==(T l, T r) { return l.Equals(r); }
public static bool operator !=(T l, T r) { return !l.Equals(r); }
public static T operator +(T o) { return o; }
public static T operator -(T o) { return o.InverseElement; }
public static T operator +(T l, T r) { return l.Add(r); }
public static T operator -(T l, T r) { return l.Subtract(r); }
public static T operator *(T l, int r) { return l.Times(r); }
public static T operator *(int l, T r) { return r.Times(l); }
public static implicit operator T(P o) { return new T(o, 0); }
}
}