Class | JAS::SolvableRing |
In: |
examples/jas.rb
|
Parent: | Ring |
Represents a JAS solvable polynomial ring: GenSolvablePolynomialRing.
Has a method to create solvable ideals.
Solvable polynomial ring constructor.
# File examples/jas.rb, line 2563 2563: def initialize(ringstr="",ring=nil) 2564: if ring == nil 2565: sr = StringReader.new( ringstr ); 2566: tok = GenPolynomialTokenizer.new(sr); 2567: @pset = tok.nextSolvablePolynomialSet(); 2568: @ring = @pset.ring; 2569: else 2570: @ring = ring; 2571: end 2572: if not @ring.isAssociative() 2573: puts "warning: ring is not associative"; 2574: end 2575: #puts "SolvableRing to super()"; 2576: #super("",@ring) 2577: end
Create an element from a string or object.
# File examples/jas.rb, line 2610 2610: def element(poly) 2611: if not poly.is_a? String 2612: begin 2613: if @ring == poly.ring 2614: return RingElem.new(poly); 2615: end 2616: rescue Exception => e 2617: # pass 2618: end 2619: poly = str(poly); 2620: end 2621: ii = SolvableIdeal.new(self, "( " + poly + " )"); 2622: list = ii.pset.list; 2623: if list.size > 0 2624: return RingElem.new( list[0] ); 2625: end 2626: end