homalg-project/HigherHomologicalAlgebra

TiltingEquivalence.jl raises an error

mohamed-barakat opened this issue · 3 comments

mohamed-barakat commented 
julia> Ω = CreateExceptionalCollection( [ Ω00, Ω11, Ω22 ], [ "Ω^0(0)", "Ω^1(1)", "Ω^2(2)" ] )
ERROR: Error thrown by GAP: Error, Please give the exceptional objects in the correct order!
 at /Users/mo/.julia/dev/CapAndHomalg/pkg/HigherHomologicalAlgebra/DerivedCategories/gap/ExceptionalCollection.gi:90 called from
CreateExceptionalCollection( full, vertices_labels, "crisp" ) at /Users/mo/.julia/dev/CapAndHomalg/pkg/HigherHomologicalAlgebra/DerivedCategories/gap/ExceptionalCollection.gi:151 called from
CreateExceptionalCollection( full, vertices_labels ) at /Users/mo/.julia/dev/CapAndHomalg/pkg/HigherHomologicalAlgebra/DerivedCategories/gap/ExceptionalCollection.gi:163 called from
CreateExceptionalCollection( ConvertJuliaToGAP( full ), ConvertJuliaToGAP( vertices_labels ) ) at /Users/mo/.julia/dev/CapAndHomalg/pkg/HigherHomologicalAlgebra/DerivedCategories/gap/Julia.gi:23 called from
<function "CreateExceptionalCollection method">( <arguments> )
 called from read-eval loop at *stdin*:1

Stacktrace:
 [1] error(::String, ::String) at ./error.jl:42
 [2] error_handler() at /Users/mo/.julia/dev/GAP/src/GAP.jl:158
 [3] #invokelatest#1 at ./essentials.jl:710 [inlined]
 [4] invokelatest at ./essentials.jl:709 [inlined]
 [5] error_handlerwrap() at /Users/mo/.julia/dev/GAP/src/GAP.jl:162
 [6] _call_gap_func(::Main.ForeignGAP.MPtr, ::Array{Main.ForeignGAP.MPtr,1}, ::Array{String,1}) at /Users/mo/.julia/dev/GAP/src/ccalls.jl:241
 [7] call_gap_func_nokw at /Users/mo/.julia/dev/GAP/src/ccalls.jl:195 [inlined]
 [8] (::Main.ForeignGAP.MPtr)(::Array{Main.ForeignGAP.MPtr,1}, ::Array{String,1}) at /Users/mo/.julia/dev/GAP/src/ccalls.jl:206
 [9] top-level scope at REPL[28]:1
mohamed-barakat commented

One probably needs to have the master branch of GAP.jl to reproduce the error.

  • 👍1
kamalsaleh commented

This happens because the vertices of the quiver are now all equal :/

julia> ConvertJuliaToGAP( "𝓞(1)" ) #delegates to JuliaToGAP(IsString,"𝓞(1)")
GAP: "𝓞"

julia> ConvertJuliaToGAP( "𝓞(2)" ) #delegates to JuliaToGAP(IsString,"𝓞(2)")
GAP: "𝓞"

As you mentioned, this is caused by the commit d2f51deaa30f of GAP.jl

mohamed-barakat commented

This issue was resolved by oscar-system/GAP.jl#547.

  • 👍1