AlgebraicJulia/Catlab.jl

Methods missing for drawing schemas

Open

#934 aperta il 24 ago 2024

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Julia (68 fork)batch import
good first issuegraphics

Metriche repository

Star
 (706 star)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

If you try to draw a TypedSchema with to_graphviz, you get a MethodError.

julia> Presentation(SchNamedDecapode)
ERROR: MethodError: no method matching Presentation(::TypedSchema{Symbol, InterType})

Closest candidates are:
  Presentation(::BasicSchema{Symbol})
   @ Catlab ~/.julia/packages/Catlab/5M12F/src/categorical_algebra/ACSetsGATsInterop.jl:69
  Presentation(::Module)
   @ GATlab ~/.julia/packages/GATlab/UL4sq/src/models/Presentations.jl:47
  Presentation(::Type{S}) where S<:(TypeLevelBasicSchema{Symbol})
   @ Catlab ~/.julia/packages/Catlab/5M12F/src/categorical_algebra/ACSetsGATsInterop.jl:52
  ...

Stacktrace:
 [1] top-level scope
   @ REPL[8]:1

This can be fixed with the following method Catlab.to_graphviz(s::TypedSchema) = to_graphviz(Presentation(s.schema)). It would be nice to also extend Presentation to accept a typed schema so that you could draw it with concrete types Presentation(s::TypedSchema). But this 1 liner is a quick fix that would get you 90% of the way there.

Guida contributor

Direzione di ricerca
Il problema richiede di aggiungere un metodo `to graphviz` per `TypedSchema` o di estendere `Presentation` per accettare schemi tipizzati. La correzione è una riga di codice suggerita nel problema: `Catlab.to graphviz(s::TypedSchema) = to graphviz(Presentation(s.schema))`. Guarda il file `src/categorical algebra/ACSetsGATsInterop.jl` per i metodi `Presentation` esistenti e le definizioni di `to graphviz`. Assicurati che non ci siano modifiche di rottura e che il metodo funzioni per tutti gli schemi tipizzati.
Tech stack
Nessuno
Dominio
api
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
1
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Meno di 1 ora
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Julia
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
85