Newer
Older
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
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
using Newtonsoft.Json;
using REST_JSON_API;
using System;
using System.Collections;
using System.Collections.Generic;
using System.Linq;
using UnityEngine;
/// <summary>
/// Point in 3D Space
/// </summary>
public class SphereFact : FactWrappedCRTP<SphereFact>
{
//used points
public string PidM, PidT;
public Vector3 M, T;
public float Volume = 0.0F;
public float Radius = 0.0F;
public PointFact GetM {get => (PointFact)FactRecorder.AllFacts[PidM];}
public PointFact GetT {get => (PointFact)FactRecorder.AllFacts[PidT];}
protected void calculate_vectors(){
M = ((PointFact)FactRecorder.AllFacts[PidM]).Point + Vector3.zero;
T = ((PointFact)FactRecorder.AllFacts[PidT]).Point + Vector3.zero;
Debug.Log(M);
Debug.Log(T);
Radius = Vector3.Distance(M, T);
Volume = 4/3 * (Mathf.PI) * (Radius * Radius * Radius);
float dist = 2*Radius;
Vector3 scale = new Vector3(dist, dist, dist);
LocalScale = scale;
Position = M;
}
public SphereFact() : base(){
this.PidM = null;
this.PidT = null;
}
[JsonConstructor]
public SphereFact( string PidM, string PidT) : base()
{
this.PidM = PidM;
this.PidT = PidT;
calculate_vectors();
}
/// <summary>
/// Bypasses initialization of new MMT %Fact by using existend URI, _which is not checked for existence_.
/// <see cref="Normal"/> set to <c>Vector3.up</c>
/// </summary>
/// <param name="Point">sets <see cref="Point"/></param>
/// <param name="ServerDefinition">MMT URI as OMS</param>
public SphereFact(string PidM, string PidT, SOMDoc ServerDefinition) : base()
{
this.PidM = PidM;
this.PidT = PidT;
this.ServerDefinition = ServerDefinition;
calculate_vectors();
}
/// \copydoc Fact.parseFact(ScrollFact)
public new static IEnumerator parseFact(List<Fact> ret, MMTFact fact)
{
if (((MMTGeneralFact)fact).defines is not OMA df)
yield break;
OMS pointM, pointT;
pointM = (OMS)df.arguments[0];
pointT = (OMS)df.arguments[1];
string PidM = pointM.uri;
string PidT = pointT.uri;
ret.Add(new SphereFact(PidM, PidT));
//ParsingDictionary.parseTermsToId.TryAdd(defines.ToString(), fact.@ref.uri);
//ret.Add(new PointFact(SOMDoc.MakeVector3(defines), fact.@ref));
}
/// \copydoc Fact.hasDependentFacts
public override bool HasDependentFacts => true;
/// \copydoc Fact.getDependentFactIds
protected override string[] GetDependentFactIds()
=> new string[] { PidM, PidT};
/// \copydoc Fact.GetHashCode
/* public override int GetHashCode()
=> this.Point.GetHashCode();
*/
protected override void RecalculateTransform()
{
calculate_vectors();
}
/// \copydoc Fact.Equivalent(Fact, Fact)
protected override bool EquivalentWrapped(SphereFact f1, SphereFact f2){
return (
Math3d.IsApproximatelyEqual(f1.M, f2.M)
&& Math3d.IsApproximatelyEqual(f1.T, f2.T)
);
}
public bool isEqual(SphereFact f2){
return EquivalentWrapped(this, f2);
}
protected override Fact _ReInitializeMe(Dictionary<string, string> old_to_new){
return new SphereFact(this.PidM, this.PidT);
}
public override MMTFact MakeMMTDeclaration()
{
SOMDoc tp = new OMS(MMTConstants.SphereType);
return new MMTGeneralFact(_LastLabel, tp, Defines());
}
public override SOMDoc Defines()
=> new OMA(
new OMS(MMTConstants.SphereCons),
new[] {
new OMS(PidM),
new OMS(PidT),
}
);
}