gratr19 0.4.4

data/tests/TestDot.rb

@@ -0,0 +1,75 @@
+#--
+# Copyright (c) 2006 Shawn Patrick Garbett
+# 
+# Redistribution and use in source and binary forms, with or without modification,
+# are permitted provided that the following conditions are met:
+# 
+#     * Redistributions of source code must retain the above copyright notice(s),
+#       this list of conditions and the following disclaimer.
+#     * Redistributions in binary form must reproduce the above copyright notice,
+#       this list of conditions and the following disclaimer in the documentation
+#       and/or other materials provided with the distribution.
+#     * Neither the name of the Shawn Garbett nor the names of its contributors
+#       may be used to endorse or promote products derived from this software
+#       without specific prior written permission.
+# 
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+# ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+# DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
+# FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+# DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+# SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+# CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+# OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+#++
+
+require 'test/unit'
+require 'gratr/import'
+
+class TestDot < Test::Unit::TestCase # :nodoc:
+  
+  DG_DOT = <<-DOT
+digraph  {
+    label = "Datacenters"
+    Miranda [
+        color = green,
+        style = filled,
+        label = "Miranda"
+    ]
+
+    Miranda -> Hillview [
+
+    ]
+
+    Miranda -> "San Francisco" [
+
+    ]
+
+    Miranda -> "San Jose" [
+
+    ]
+
+    Sunnyvale -> Miranda [
+
+    ]
+
+}
+DOT
+  
+  def setup
+    @dg = DOT::DOTDigraph.new('label' => 'Datacenters')
+    @dg << DOT::DOTNode.new('name' => 'Miranda', 'color' => 'green', 'style' => 'filled')
+    @dg << DOT::DOTDirectedArc.new('from' => 'Miranda', 'to' => 'Hillview')
+    @dg << DOT::DOTDirectedArc.new('from' => 'Miranda', 'to' => '"San Francisco"')
+    @dg << DOT::DOTDirectedArc.new('from' => 'Miranda', 'to' => '"San Jose"')
+    @dg << DOT::DOTDirectedArc.new('from' => 'Sunnyvale', 'to' => 'Miranda')
+  end
+  
+  def test_generation
+    assert @dg.to_s
+    assert_equal DG_DOT, @dg.to_s
+  end
+  
+end

data/tests/TestEdge.rb

@@ -0,0 +1,171 @@
+#--
+# Copyright (c) 2006 Shawn Patrick Garbett
+# Copyright (c) 2002,2004,2005 by Horst Duchene
+# 
+# Redistribution and use in source and binary forms, with or without modification,
+# are permitted provided that the following conditions are met:
+# 
+#     * Redistributions of source code must retain the above copyright notice(s),
+#       this list of conditions and the following disclaimer.
+#     * Redistributions in binary form must reproduce the above copyright notice,
+#       this list of conditions and the following disclaimer in the documentation
+#       and/or other materials provided with the distribution.
+#     * Neither the name of the Shawn Garbett nor the names of its contributors
+#       may be used to endorse or promote products derived from this software
+#       without specific prior written permission.
+# 
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+# ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+# DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
+# FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+# DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+# SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+# CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+# OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+#++
+
+
+require 'test/unit'
+require 'gratr/import'
+
+class TestArc < Test::Unit::TestCase # :nodoc:
+
+  def setup
+    @e = Arc.new(1,2,'boo')
+    @u = Edge.new(1,2,'hoo')
+  end
+
+  def test_edge_new
+    assert_raises(ArgumentError) {Arc.new}
+    assert_raises(ArgumentError) {Arc.new(1)}
+    assert Arc.new(1,2)
+    assert Arc.new(1,2,'label')
+  end
+
+  def test_edge_getters
+
+    assert_equal(1,     @e.source)
+    assert_equal(2,     @e.target)
+    assert_equal('boo', @e.label)
+
+    assert_equal(1,     @e[0])
+    assert_equal(2,     @e[1])
+    assert_equal('boo', @e[2])
+
+    assert_equal(1,     @e[-3])
+    assert_equal(2,     @e[-2])
+    assert_equal('boo', @e[-1])
+
+    assert_raise(IndexError) {@e[-4]} 
+    assert_raise(IndexError) {@e[3]}  
+
+    assert_equal(1,     @e['source'])
+    assert_equal(2,     @e['target'])
+    assert_equal('boo', @e['label'])
+
+    assert_equal(1,     @e[:source])
+    assert_equal(2,     @e[:target])
+    assert_equal('boo', @e[:label])
+  end
+
+  def test_edge_setters
+    @e.source = 23
+    @e.target = 42
+    @e.label  = 'Yabba'
+    assert_equal(23,     @e.source)
+    assert_equal(42,     @e.target)
+    assert_equal('Yabba',@e.label)
+
+    @e['source'] = 2
+    @e['target'] = 1
+    @e['label']  = 'Dabba'
+    assert_equal(2,      @e.source)
+    assert_equal(1,      @e.target)
+    assert_equal('Dabba',@e.label)
+
+    @e[:source] = 9
+    @e[:target] = 8
+    @e['label'] = 'Doooo!'
+    assert_equal(9,       @e.source)
+    assert_equal(8,       @e.target)
+    assert_equal('Doooo!',@e.label)
+
+    @e[0] = 'Fred'
+    @e[1] = 'Flintstone'
+    @e[2] = 'and'
+    assert_equal('Fred',      @e.source)
+    assert_equal('Flintstone',@e.target)
+    assert_equal('and',       @e.label)
+
+    @e[-3] = 'Barney'
+    @e[-2] = 'Rubble'
+    @e[-1] = nil
+    assert_equal('Barney',    @e.source)
+    assert_equal('Rubble',    @e.target)
+    assert_equal(nil,         @e.label)
+  end
+
+  def test_edge_simple_methods
+    assert_equal([1,2,'boo'], @e.to_a)
+    assert_equal("(1-2 'boo')", @e.to_s)
+    @e.label = nil
+    assert_equal("(1-2)", @e.to_s)
+    assert(@e.eql?(Arc.new(1,2)))
+    assert(!@e.eql?(Arc.new(1,3)))
+    assert(!Arc.new(2,1).eql?(@e))
+
+    assert(@e             == (Arc.new(1,2)))
+    assert(@e.reverse     == (Arc.new(2,1)))
+    assert(Arc.new(1,2)  != (Arc.new(1,3)))
+    assert(Arc.new(2,1)  != @e)
+  end
+
+  def test_edge_sort
+    x = [ Arc.new(2,3), Arc.new(1,3), Arc.new(1,2), Arc.new(2,1) ].sort
+    assert_equal [Arc.new(1,2), Arc.new(1,3), Arc.new(2,1), Arc.new(2,3)], x
+  end
+
+  def test_undirected_edge_new
+    assert_raises(ArgumentError) {Edge.new}
+    assert_raises(ArgumentError) {Edge.new(1)}
+    assert Edge.new(1,2)
+    assert Edge.new(1,2,'label')
+  end
+
+  def test_undirected_edge_getters
+    assert_equal(1,@u.source)
+    assert_equal(2,@u.target)
+    assert_equal([1,2,'hoo'],@u.to_a)
+    assert_equal("(1=2 'hoo')",@u.to_s)
+  end
+
+  def test_undirected_edge_methods
+    @u.label = nil
+    assert_equal("(1=2)",@u.to_s)
+    assert_equal("(1=2)",Edge.new(2,1).to_s)
+
+    assert @u.eql?(Edge.new(2,1))
+    assert @u == Edge.new(2,1,'boo')
+    assert @u != Edge.new(2,3)
+
+    assert_equal(@u.hash,Edge.new(2,1).hash)
+  end
+
+  def test_undirected_edge_sort
+    x=[Edge.new(12, 1), Edge.new(2,11)].sort
+    assert_equal [Edge.new(2,11), Edge.new(1,12)], x
+  end
+  
+  def test_hash
+    assert_equal Arc[1,2,:b], Arc[1,2,:c]
+    assert_equal Arc[1,2,:b].hash, Arc[1,2,:c].hash
+    assert Arc[1,2] != Arc[2,1]
+    assert Arc[1,2] != Edge[1,2]
+    assert_equal Edge[1,2], Edge[2,1]
+    assert_equal Edge[1,2,:a], Edge[2,1,:b]
+  end
+
+end
+

data/tests/TestInspection.rb

@@ -0,0 +1,57 @@
+#--
+# Copyright (c) 2006 Shawn Patrick Garbett
+# 
+# Redistribution and use in source and binary forms, with or without modification,
+# are permitted provided that the following conditions are met:
+# 
+#     * Redistributions of source code must retain the above copyright notice(s),
+#       this list of conditions and the following disclaimer.
+#     * Redistributions in binary form must reproduce the above copyright notice,
+#       this list of conditions and the following disclaimer in the documentation
+#       and/or other materials provided with the distribution.
+#     * Neither the name of the Shawn Garbett nor the names of its contributors
+#       may be used to endorse or promote products derived from this software
+#       without specific prior written permission.
+# 
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+# ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+# DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
+# FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+# DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+# SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+# CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+# OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+#++
+
+
+require 'test/unit'
+require 'gratr/import'
+
+class TestInspection < Test::Unit::TestCase # :nodoc:
+  
+  def setup
+    @dg = DirectedMultiGraph[ 
+            [0,0,1]   => 1,
+            [1,2,2]   => 2, 
+            [1,3,3]   => 4,
+            [1,4,4]   => nil, 
+            [4,1,5]   => 8, 
+            [1,2,6]   => 16, 
+            [3,3,7]   => 32, 
+            [3,3,8]   => 64     ]
+    @dg[3] = 128
+    @dg[0] = 256
+  end
+  
+  def test_inspection
+    inspect = @dg.inspect
+    assert_equal 384, @dg.vertices.inject(0) {|a,v| a += (@dg[v] || 0)}
+    assert_equal 127, @dg.edges.inject(0)    {|a,e| a += (@dg[e] || 0)}
+    reflect = eval inspect
+    assert reflect == @dg
+    assert_equal 127, reflect.edges.inject(0)    {|a,e| a += (reflect[e] || 0)}
+    assert_equal 384, reflect.vertices.inject(0) {|a,v| a += (reflect[v] || 0)}
+  end
+end

data/tests/TestMultiEdge.rb

@@ -0,0 +1,57 @@
+#--
+# Copyright (c) 2006 Shawn Patrick Garbett
+# 
+# Redistribution and use in source and binary forms, with or without modification,
+# are permitted provided that the following conditions are met:
+# 
+#     * Redistributions of source code must retain the above copyright notice(s),
+#       this list of conditions and the following disclaimer.
+#     * Redistributions in binary form must reproduce the above copyright notice,
+#       this list of conditions and the following disclaimer in the documentation
+#       and/or other materials provided with the distribution.
+#     * Neither the name of the Shawn Garbett nor the names of its contributors
+#       may be used to endorse or promote products derived from this software
+#       without specific prior written permission.
+# 
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+# ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+# DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
+# FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+# DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+# SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+# CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+# OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+#++
+
+
+require 'test/unit'
+require 'gratr/import'
+
+class TestMultiArc < Test::Unit::TestCase # :nodoc:
+
+  def test_directed_pseudo_graph
+    dpg=DirectedPseudoGraph[ :a,:b,
+                             :a,:b,
+                             :a,:b ]
+    assert_equal 3, dpg.edges.size
+    x=0
+    dpg.edges.each {|e| dpg[e] = (x+=1)}
+    assert_equal 6, dpg.edges.inject(0) {|a,v| a+=dpg[v]}
+  end
+  
+  def test_directed_multi_graph
+    dmg=DirectedMultiGraph[ :a,:a,
+                            :a,:a,
+                            :a,:b,
+                            :a,:b,
+                            :b,:b,
+                            :b,:b ]
+    assert_equal 6,  dmg.edges.size
+    x = 0
+    dmg.edges.each {|e| dmg[e] = (x+=1)}
+    assert_equal 21, dmg.edges.inject(0) {|a,v| a+=dmg[v]}
+  end
+  
+end

data/tests/TestNeighborhood.rb

@@ -0,0 +1,64 @@
+#--
+# Copyright (c) 2006 Shawn Patrick Garbett
+# 
+# Redistribution and use in source and binary forms, with or without modification,
+# are permitted provided that the following conditions are met:
+# 
+#     * Redistributions of source code must retain the above copyright notice(s),
+#       this list of conditions and the following disclaimer.
+#     * Redistributions in binary form must reproduce the above copyright notice,
+#       this list of conditions and the following disclaimer in the documentation
+#       and/or other materials provided with the distribution.
+#     * Neither the name of the Shawn Garbett nor the names of its contributors
+#       may be used to endorse or promote products derived from this software
+#       without specific prior written permission.
+# 
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+# ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+# DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
+# FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+# DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+# SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+# CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+# OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+#++
+
+
+require 'test/unit'
+require 'gratr/import'
+
+class TestNeighborhood < Test::Unit::TestCase # :nodoc:
+  
+  def setup
+    @d = Digraph[:a,:b, :a,:f,
+                 :b,:g,
+                 :c,:b, :c,:g,
+                 :d,:c, :d,:g,
+                 :e,:d,
+                 :f,:e, :f,:g,
+                 :g,:a, :g,:e]
+    @w = [:a,:b]
+  end
+  
+  def test_open_out_neighborhood
+    assert_equal [:g], @d.set_neighborhood([:a],    :in)
+    assert_equal [],   [:f,:g]  - @d.set_neighborhood(@w, :out)
+    assert_equal [],   @w       - @d.open_pth_neighborhood(@w, 0, :out)
+    assert_equal [],   [:f, :g] - @d.open_pth_neighborhood(@w, 1, :out)
+    assert_equal [],   [:e]     - @d.open_pth_neighborhood(@w, 2, :out)
+    assert_equal [],   [:d]     - @d.open_pth_neighborhood(@w, 3, :out)
+    assert_equal [],   [:c]     - @d.open_pth_neighborhood(@w, 4, :out)    
+  end
+  
+  def test_closed_out_neighborhood
+    assert_equal [],   @w                     - @d.closed_pth_neighborhood(@w, 0, :out)
+    assert_equal [],   [:a,:b,:f,:g]          - @d.closed_pth_neighborhood(@w, 1, :out)
+    assert_equal [],   [:a,:b,:e,:f,:g]       - @d.closed_pth_neighborhood(@w, 2, :out)
+    assert_equal [],   [:a,:b,:d,:e,:f,:g]    - @d.closed_pth_neighborhood(@w, 3, :out)
+    assert_equal [],   [:a,:b,:c,:d,:e,:f,:g] - @d.closed_pth_neighborhood(@w, 4, :out)    
+  end
+  
+  
+end

data/tests/TestProperties.rb

@@ -0,0 +1,160 @@
+#--
+# Copyright (c) 2006 Shawn Patrick Garbett
+# 
+# Redistribution and use in source and binary forms, with or without modification,
+# are permitted provided that the following conditions are met:
+# 
+#     * Redistributions of source code must retain the above copyright notice(s),
+#       this list of conditions and the following disclaimer.
+#     * Redistributions in binary form must reproduce the above copyright notice,
+#       this list of conditions and the following disclaimer in the documentation
+#       and/or other materials provided with the distribution.
+#     * Neither the name of the Shawn Garbett nor the names of its contributors
+#       may be used to endorse or promote products derived from this software
+#       without specific prior written permission.
+# 
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+# ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+# DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
+# FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+# DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+# SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+# CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+# OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+#++
+
+
+require 'test/unit'
+require 'gratr/import'
+require 'gratr/dot'
+
+# This test runs the classes from Appendix F in 
+# _Algorithmic_Graph_Theory_and_Perfect_Graphs,
+# by Martin Charles Golumbic
+class TestProperties < Test::Unit::TestCase # :nodoc:
+
+  def test_g1
+    g1 = UndirectedGraph[ :a,:b, :a,:d, :a,:e, :a,:i, :a,:g, :a,:h,
+                          :b,:c, :b,:f,
+                          :c,:d, :c,:h,
+                          :d,:h, :d,:e,
+                          :e,:f,
+                          :f,:g, :f,:h, :f,:i,
+                          :h,:i ]
+
+    assert !g1.triangulated?
+    assert !g1.complement.triangulated?  # Disagrees with Golumbic!
+    assert !g1.comparability?
+    assert !g1.complement.comparability?
+    assert !g1.interval?
+    assert !g1.complement.interval?
+    assert !g1.permutation?
+    assert !g1.split?
+    
+#    g1.write_to_graphic_file('jpg','g1')
+#    g1.complement.write_to_graphic_file('jpg','g1_complement')
+  end
+  
+  def test_g2
+    g2 = UndirectedGraph[ :a,:b, :a,:e,
+                          :b,:c, :b,:e, :b,:f,
+                          :c,:d, :c,:f, :c,:g,
+                          :d,:g,
+                          :e,:f,
+                          :f,:g]
+    
+    assert g2.triangulated?
+    assert !g2.complement.triangulated?
+    assert !g2.comparability?
+    assert g2.complement.comparability?
+    assert g2.interval?
+    assert !g2.complement.interval?
+    assert !g2.permutation?
+    assert !g2.split?
+  end
+  
+  def test_g3
+    g3 = UndirectedGraph[ :a,:c,
+                          :b,:e,
+                          :c,:d, :c,:f,
+                          :d,:f, :d,:g, :d,:e,
+                          :e,:g,
+                          :f,:g ]
+    assert g3.triangulated?
+    assert !g3.complement.triangulated?
+    assert !g3.comparability?
+    assert g3.complement.comparability?
+    assert g3.interval?
+    assert !g3.complement.interval?
+    assert !g3.permutation?
+    assert !g3.split?
+  end
+
+  def test_g4
+    g4 = UndirectedGraph[ :a,:b,
+                          :b,:c,
+                          :c,:d, :c,:e,
+                          :d,:f,
+                          :e,:g]
+    assert g4.triangulated?
+    assert !g4.complement.triangulated?
+    assert g4.comparability?
+    assert !g4.complement.comparability?
+    assert !g4.interval?
+    assert !g4.complement.interval?
+    assert !g4.permutation?
+    assert !g4.split?
+  end
+
+  def test_g5
+    g5 = UndirectedGraph[ :a,:b, :a,:c,
+                          :b,:c, :b,:d, :b,:f, :b,:g,
+                          :c,:e, :c,:f, :c,:g,
+                          :d,:f,
+                          :e,:g,
+                          :f,:g]
+    assert g5.triangulated?
+    assert g5.complement.triangulated?
+    assert g5.comparability?
+    assert !g5.complement.comparability?
+    assert !g5.interval?
+    assert g5.complement.interval?
+    assert !g5.permutation?
+    assert g5.split?
+  end
+    
+  def test_g6
+    g6 = UndirectedGraph[ :a,:c, :a,:d,
+                          :b,:c,
+                          :c,:f,
+                          :d,:e, :d,:f]
+    assert !g6.triangulated?
+    assert !g6.complement.triangulated?
+    assert g6.comparability?
+    assert g6.complement.comparability?
+    assert !g6.interval?
+    assert !g6.complement.interval?
+    assert g6.permutation?
+    assert !g6.split?
+  end
+  
+  def test_g7
+    g7 = UndirectedGraph[ :a,:b, :a,:c,
+                          :b,:c, :b,:d, :b,:e,
+                          :c,:e, :c,:f,
+                          :d,:e,
+                          :e,:f]
+    assert g7.triangulated?
+    assert g7.complement.triangulated?
+    assert !g7.comparability?
+    assert !g7.complement.comparability?
+    assert !g7.interval?
+    assert !g7.complement.interval?
+    assert !g7.permutation?
+    assert g7.split?
+    
+  end
+  
+end