Mentions légales du service

Skip to content
Snippets Groups Projects
main.rs 690 B
Newer Older
mod undirected_graph;
use undirected_graph::UndirectedGraph;
Ricardo Buring's avatar
Ricardo Buring committed
fn main() {
    let g: UndirectedGraph = UndirectedGraph::wheel_graph(5);
    println!("g = {:?}", g);
    println!("g.to_nauty() = {:?}", g.to_nauty());
    println!("UndirectedGraph::from_nauty(&g.to_nauty()) = {:?}", UndirectedGraph::from_nauty(&g.to_nauty()));
    let (_sign, normal_g, orbits) = g.normal_form();
    println!("normal_g = {:?}", normal_g);
    println!("normal_g.expanding_differential(orbits) = {:?}", normal_g.expanding_differential(&orbits));
    let triangle: UndirectedGraph = UndirectedGraph::new(3, vec![(0,1), (1,2), (0,2)]);
    println!("triangle.normal_form() = {:?}", triangle.normal_form());
Ricardo Buring's avatar
Ricardo Buring committed
}