public function test_keyval_representation_1() { $cs = array('a:x^2', 'b:1/(1+x^2)', 'c:e^(i*pi)'); foreach ($cs as $s) { $s1[] = new stack_cas_casstring($s); } $at1 = new stack_cas_session($s1, null, 0); $this->assertEquals('a:x^2; b:1/(1+x^2); c:e^(i*pi);', $at1->get_keyval_representation()); $this->assertEquals(array('a', 'b', 'c'), $at1->get_all_keys()); $at1->prune_session(1); $this->assertEquals(array('a'), $at1->get_all_keys()); }