glen/dyna3
1
0
Fork 0
Code Issues 11 Pull Requests 1 Actions Projects Releases 2 Wiki Activity

Engine prototype #13

Merged
glen merged 133 commits from engine-proto into main 2024-10-21 03:18:48 +00:00
Conversation 9 Commits 133 Files Changed 20 +5 -5
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 8d8bc9162c - Show all commits

8
engine-proto/Engine.Algebraic.jl
View File

@ -120,11 +120,11 @@ equation(rel::AlignsWithBy) = mprod(rel.elements[1].vec, rel.elements[2].vec) -
# --- constructions --- # --- constructions ---
mutable struct Construction{T} mutable struct Construction{T}
points::Set{Point{T}} points::Vector{Point{T}}
spheres::Set{Sphere{T}} spheres::Vector{Sphere{T}}
relations::Set{Relation{T}} relations::Vector{Relation{T}}
function Construction{T}(; elements = Set{Element{T}}(), relations = Set{Relation{T}}()) where T function Construction{T}(; elements = Vector{Element{T}}(), relations = Vector{Relation{T}}()) where T
allelements = union(elements, (rel.elements for rel in relations)...) allelements = union(elements, (rel.elements for rel in relations)...)
new{T}( new{T}(
filter(elt -> isa(elt, Point), allelements), filter(elt -> isa(elt, Point), allelements),

2
engine-proto/Engine.jl
View File

@ -56,7 +56,7 @@ tangencies = [
##Engine.LiesOn{CoeffType}(points[3], spheres[1]), ##Engine.LiesOn{CoeffType}(points[3], spheres[1]),
##Engine.LiesOn{CoeffType}(points[3], spheres[2]) ##Engine.LiesOn{CoeffType}(points[3], spheres[2])
##] ##]
ctx_tan_sph = Engine.Construction{CoeffType}(elements = Set(spheres), relations = Set(tangencies)) ctx_tan_sph = Engine.Construction{CoeffType}(elements = spheres, relations = tangencies)
ideal_tan_sph, eqns_tan_sph = Engine.realize(ctx_tan_sph) ideal_tan_sph, eqns_tan_sph = Engine.realize(ctx_tan_sph)
##small_eqns_tan_sph = eqns_tan_sph ##small_eqns_tan_sph = eqns_tan_sph
small_eqns_tan_sph = [ small_eqns_tan_sph = [