micma/library.js at master · opensofias/micma · GitHub

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
"use strict"

var m = {}
m.list =
{
	GF2: ["+01,10","*00,01"],
	GF3: ["+012,120,201","*000,012,021"],
	GF4:
	[
		"+0123,1032,2301,3210",
		"*0000,0123,0231,0321"
	],
	MinMax4:
	[
		"↓0000,0111,0122,0123",
		"↑0123,1123,2223,3333"
	],
	Bitwise4:
	[
		"&0000,0101,0022,0123",
		"|0123,1133,2323,3333"
	],
	Mod4:
	[
		"+0123,1230,2301,3012",
		"*0000,0123,0202,0321"
	],
	RockPaperScissors:
	[
		"W010,112,022",
		"L002,011,212"
	],
	Imply: ["→10,11","←11,01"],
	Inhibit: ["<01,00",">00,10"],
	NandNor: ["⊼11,10","⊽10,00"],
	EqNeq: ["~10,01","≁01,10"],
	LeftRight: ["L0000,1111,2222,3333","R0123,0123,0123,0123"],
}

m.lib = function (name)
{
	var magma = new Magma ()
	for (var opString of m.list[name])
	{
		magma.opFromString
		(
			opString[0],
			opString.substring(1),
			[",",""]
		)
	}
	return magma
}

var q = {}
q.list =
{
	leftNeutralElement:"aB*B",
	rightNeutralElement:"Ba*B",
	leftAbsorbingElement:"aB*a",
	rightAbsorbingElement:"Ba*a",
	idempotent:"AA*A",
	commutative:"AB*BA*",
	associative:"ABC**AB*C*",
	leftLatin:"Ac*B",
	rightLatin:"cA*B",
	leftDistributive:"AB+C*AC*BC*+",
	rightDistributive:"ABC+*AB*AC*+",
	leftSelfDistributive:"AB*C*AC*BC**",
	rightSelfDistributive:"ABC**AB*AC**",
	leftAlternative:"AAB**AA*B*",
	rightAlternative:"ABB**AB*B*",
	flexible:"ABA**AB*A*",

	// some words that i made up :P
	diagonistic:"AA*BB*",
	idemElement:"aa*a",
	leftProductiveElement: "ac*B", // weaker versions of latin properties
	rightProductiveElement: "ac*B",
	leftUbiquitousElement: "aC*b",
	rightUbiquitousElement: "aC*b",
	crossCommutative:"AB*BA+",
	crossAssociative1:"ABC**AB+C+",
	crossAssociative2:"ABC++AB*C*",
	rotary1:"ABC**BCA**",
	reversly1:"ABC**CAB**",
	reversly2:"AB*C*CA*B*",
	dissociative1: "ABC+*AB*C+",
	dissociative2: "ABC*+AB+C*",
	dissociative3: "ABC+*AB+C*",
	dissociative4: "ABC*+AB*C+",
	transmissive1: "AAB**AB*B*",
	transmissive2: "AA*B*ABB**",
	leftLeftAbsorbing: "AAB**A",
	leftLeftNeutral: "AAB*B",
	leftRightAbsorbing:"AB*A*A",
	leftRightNeutral:"AB*A*B",
	twisty:"AAB**BA*",
	rightHungry:"ABC**AC*",
	leftHungry:"AB*C*AC*"
}
q.lib = function (name, magma)
{
	return (Query.fromPropertyString (q.list[name], magma))
}

function checkAllProps ()
{
	var string = ""
	for (magma in m.list)
	{
		string += magma + ": "
		for (query in q.list)
			if (q.lib (query, m.lib (magma)).evaluate())
				string += query + " "
		string += "\n"
	}
	return string
}