Examples with Edge catdata.fqlpp.cat.Signature.Edge used on opensource projects

Example 1 with Edge

use of catdata.fqlpp.cat.Signature.Edge in project fql by CategoricalData.

the class CatOps method visit.

@Override
public Functor visit(FQLPPProgram env, FinalConst ic) {
    CatExp e = resolve(env, ic.src);
    if (!(e instanceof Const)) {
        throw new RuntimeException("Can only create functors from finitely-presented categories.");
    }
    Const c = (Const) e;
    Category cat = c.accept(env, this);
    Signature<String, String> sig = new Signature<>(c.nodes, c.arrows, c.eqs);
    Category target = ic.C.accept(env, this);
    Map<Node, Functor> nm = new HashMap<>();
    for (Node n : sig.nodes) {
        FunctorExp kkk = ic.nm.get(n.name);
        if (kkk == null) {
            throw new RuntimeException("Missing node mapping from " + n);
        }
        Functor F = kkk.accept(env, this);
        nm.put(n, F);
    }
    Map<Edge, Transform> em = new HashMap<>();
    for (Edge n : sig.edges) {
        TransExp chc = ic.em.get(n.name);
        if (chc == null) {
            throw new RuntimeException("Missing edge mapping from " + n);
        }
        em.put(n, chc.accept(env, this));
    }
    FUNCTION fff = p0 -> {
        Path p = (Path) p0;
        Object fn = target.identity(nm.get(p.source));
        for (Object nnn : p.path) {
            Edge n = (Edge) nnn;
            fn = target.compose(fn, em.get(n));
        }
        return fn;
    };
    return new Functor(cat, target, nm::get, fff);
}

Example 2 with Edge

use of catdata.fqlpp.cat.Signature.Edge in project fql by CategoricalData.

the class FqlppDisplay method makeJoined.

@SuppressWarnings("unchecked")
private static Pair<JPanel, Map<Object, JPanel>> makeJoined(Signature<String, String> sig, Functor<Object, Object, Set, Fn<Object, Object>> F) {
    Map<Node, List<Signature<String, String>.Edge>> map = new HashMap<>();
    Map<Object, JPanel> mapX = new HashMap<>();
    for (Node n : sig.nodes) {
        map.put(n, new LinkedList<>());
    }
    for (Edge t : sig.edges) {
        map.get(t.source).add(t);
    }
    // int x = (int) Math.ceil(Math.sqrt(sig.nodes.size()));
    List<JComponent> ret = new LinkedList<>();
    for (Node n : sig.nodes) {
        List<Signature<String, String>.Edge> cols = map.get(n);
        Object[] colNames = new Object[cols.size() + 1];
        colNames[0] = "ID";
        Set set = F.applyO(n);
        Object[][] rowData = new Object[set.size()][cols.size() + 1];
        int j = 0;
        for (Object o : set) {
            rowData[j][0] = o;
            j++;
        }
        int i = 1;
        for (Signature<String, String>.Edge t : cols) {
            colNames[i] = t.name;
            Fn<Object, Object> fn = F.applyA(sig.path(t));
            j = 0;
            for (Object o : set) {
                rowData[j][i] = fn.apply(o);
                j++;
            }
            i++;
        }
        JPanel p = GuiUtil.makeTable(BorderFactory.createEtchedBorder(), n + " (" + set.size() + " rows)", rowData, colNames);
        ret.add(p);
        mapX.put(n, p);
    }
    for (Signature<String, String>.Edge t : sig.edges) {
        Object[] colNames = new Object[2];
        colNames[0] = t.source;
        colNames[1] = t.target;
        Set set = F.applyO(t.source);
        Object[][] rowData = new Object[set.size()][2];
        Fn<Object, Object> fn = F.applyA(sig.path(t));
        int j = 0;
        for (Object o : set) {
            rowData[j][0] = o;
            rowData[j][1] = fn.apply(o);
            j++;
        }
        JPanel p = GuiUtil.makeTable(BorderFactory.createEtchedBorder(), t.name + " (" + set.size() + " rows)", rowData, colNames);
        mapX.put(t.name, p);
    }
    return new Pair<>(GuiUtil.makeGrid(ret), mapX);
}

Example 3 with Edge

use of catdata.fqlpp.cat.Signature.Edge in project fql by CategoricalData.

the class FqlppDisplay method build2Elements.

@SuppressWarnings("unchecked")
private static Graph build2Elements(Signature<Object, Object> sig, Transform<Object, Object, Set, Fn> trans) {
    Functor<Object, Object, Set, Fn> I = trans.source;
    Functor<Object, Object, Set, Fn> J = trans.target;
    Graph<Object, Object> ret = new DirectedSparseMultigraph<>();
    for (Node n : sig.nodes) {
        for (Object o : I.applyO(n)) {
            ret.addVertex(new Triple<>(o, n.name, "src"));
        }
    }
    for (Edge e : sig.edges) {
        for (Object o : I.applyO(e.source)) {
            Object fo = I.applyA(sig.path(e)).apply(o);
            Triple s = new Triple<>(o, e.source.name, "src");
            Triple t = new Triple<>(fo, e.target.name, "dst");
            ret.addEdge(new Quad<>(e.name, s, t, "src"), s, t);
        }
    }
    for (Node n : sig.nodes) {
        for (Object o : J.applyO(n)) {
            ret.addVertex(new Triple<>(o, n.name, "dst"));
        }
    }
    for (Edge e : sig.edges) {
        for (Object o : J.applyO(e.source)) {
            Object fo = J.applyA(sig.path(e)).apply(o);
            Triple s = new Triple<>(o, e.source.name, "dst");
            Triple t = new Triple<>(fo, e.target.name, "dst");
            ret.addEdge(new Quad<>(e.name, s, t, "dst"), s, t);
        }
    }
    int i = 0;
    for (Node n : sig.nodes) {
        for (Object o : I.applyO(n)) {
            Object fo = trans.apply(n).apply(o);
            Triple s = new Triple<>(o, n.name, "src");
            Triple t = new Triple<>(fo, n.name, "dst");
            ret.addEdge(new Quad<>("", s, t, i++), s, t);
        }
    }
    return ret;
}

Example 4 with Edge

use of catdata.fqlpp.cat.Signature.Edge in project fql by CategoricalData.

the class FqlppDisplay method buildMapping.

@SuppressWarnings("unchecked")
private static Graph buildMapping(Signature<String, String> src, Signature<String, String> dst, Functor F) {
    Graph<Object, Object> ret = new DirectedSparseMultigraph<>();
    for (Node n : src.nodes) {
        ret.addVertex(new Pair<>(n.name, "src"));
    }
    for (Edge e : src.edges) {
        Pair s = new Pair<>(e.source.name, "src");
        Pair t = new Pair<>(e.target.name, "src");
        ret.addEdge(new Quad<>(e.name, s, t, "src"), s, t);
    }
    for (Node n : dst.nodes) {
        ret.addVertex(new Pair<>(n.name, "dst"));
    }
    for (Edge e : dst.edges) {
        Pair s = new Pair<>(e.source.name, "dst");
        Pair t = new Pair<>(e.target.name, "dst");
        ret.addEdge(new Quad<>(e.name, s, t, "dst"), s, t);
    }
    int i = 0;
    for (Node n : src.nodes) {
        Node fo = (Node) F.applyO(n);
        Pair s = new Pair<>(n.name, "src");
        Pair t = new Pair<>(fo.name, "dst");
        ret.addEdge(new Quad<>("", s, t, i++), s, t);
    }
    return ret;
}

Example 5 with Edge

use of catdata.fqlpp.cat.Signature.Edge in project fql by CategoricalData.

the class CatOps method toInstance.

private Pair<Category, Instance<String, String>> toInstance(FQLPPProgram env, InstConst ic) {
    CatExp e = resolve(env, ic.sig);
    if (!(e instanceof Const)) {
        throw new RuntimeException("Can only create instances for finitely-presented categories.");
    }
    Const c = (Const) e;
    Category src = c.accept(env, this);
    Signature<String, String> sig = new Signature<>(c.nodes, c.arrows, c.eqs);
    Map<Node, Set> nm = new HashMap<>();
    for (String n0 : ic.nm.keySet()) {
        Node n = sig.getNode(n0);
        SetExp kkk = ic.nm.get(n.name);
        if (kkk == null) {
            throw new RuntimeException("Missing node mapping from " + n);
        }
        nm.put(n, kkk.accept(env, new SetOps(ENV)));
    }
    Map<Edge, Map> em = new HashMap<>();
    for (String n0 : ic.em.keySet()) {
        Edge n = sig.getEdge(n0);
        Chc<FnExp, SetExp> chc = ic.em.get(n.name);
        if (chc == null) {
            throw new RuntimeException("Missing edge mapping from " + n);
        }
        if (chc.left) {
            FnExp kkk = chc.l;
            em.put(n, kkk.accept(env, new SetOps(ENV)).toMap());
        } else {
            SetExp sss = chc.r;
            Set vvv = sss.accept(env, new SetOps(ENV));
            Map<Object, Object> uuu = new HashMap<>();
            for (Object o : vvv) {
                if (!(o instanceof Pair)) {
                    throw new RuntimeException("Not a pair: " + o);
                }
                Pair oo = (Pair) o;
                if (uuu.containsKey(oo.first)) {
                    throw new RuntimeException("Duplicate domain entry: " + o + " in " + ic);
                }
                uuu.put(oo.first, oo.second);
            }
            FnExp kkk = new FnExp.Const(uuu::get, ic.nm.get(n.source.name), ic.nm.get(n.target.name));
            em.put(n, kkk.accept(env, new SetOps(ENV)).toMap());
        }
    }
    return new Pair<>(src, new Instance(nm, em, sig));
}