Return to graded_lexicographic_order.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/graded_lexicographic_order.adb, Revision 1.1

1.1     ! maekawa     1: with Standard_Natural_Vectors;
        !             2: with Standard_Integer_Vectors;
        !             3:
        !             4: package body Graded_Lexicographic_Order is
        !             5:
        !             6: -- FOR STANDARD NATURAL VECTORS :
        !             7:
        !             8:   function "<" ( v1,v2 : Standard_Natural_Vectors.Vector ) return boolean is
        !             9:
        !            10:     use Standard_Natural_Vectors;
        !            11:     s1,s2 : natural;
        !            12:
        !            13:   begin
        !            14:     s1 := Sum(v1);
        !            15:     s2 := Sum(v2);
        !            16:     if s1 < s2
        !            17:      then return true;
        !            18:      elsif s1 > s2
        !            19:          then return false;
        !            20:          else if v1'first /= v2'first or else v1'last /= v2'last
        !            21:                then raise CONSTRAINT_ERROR;
        !            22:                else for i in v1'range loop
        !            23:                       if v1(i) < v2(i)
        !            24:                        then return true;
        !            25:                        elsif v1(i) > v2(i)
        !            26:                            then return false;
        !            27:                       end if;
        !            28:                     end loop;
        !            29:                     return false;  -- v1 = v2
        !            30:               end if;
        !            31:     end if;
        !            32:   end "<";
        !            33:
        !            34:   function "<" ( v1,v2 : Standard_Natural_Vectors.Link_to_Vector )
        !            35:                return boolean is
        !            36:
        !            37:     use Standard_Natural_Vectors;
        !            38:
        !            39:   begin
        !            40:     if v2 = null
        !            41:      then return false;
        !            42:      elsif v1 = null
        !            43:          then if Sum(v2) > 0
        !            44:                then return true;
        !            45:                else return false;
        !            46:               end if;
        !            47:          else return v1.all < v2.all;
        !            48:     end if;
        !            49:   end "<";
        !            50:
        !            51:   function ">" ( v1,v2 : Standard_Natural_Vectors.Vector ) return boolean is
        !            52:
        !            53:     use Standard_Natural_Vectors;
        !            54:
        !            55:     s1,s2 : natural;
        !            56:
        !            57:   begin
        !            58:     s1 := Sum(v1);
        !            59:     s2 := Sum(v2);
        !            60:     if s1 < s2
        !            61:      then return false;
        !            62:      elsif s1 > s2
        !            63:          then return true;
        !            64:          else if v1'first /= v2'first or else v1'last /= v2'last
        !            65:                then raise CONSTRAINT_ERROR;
        !            66:                else for i in v1'range loop
        !            67:                       if v1(i) < v2(i)
        !            68:                        then return false;
        !            69:                        elsif v1(i) > v2(i)
        !            70:                            then return true;
        !            71:                       end if;
        !            72:                     end loop;
        !            73:                     return false;  -- v1 = v2
        !            74:               end if;
        !            75:     end if;
        !            76:   end ">";
        !            77:
        !            78:   function ">" ( v1,v2 : Standard_Natural_Vectors.Link_to_Vector )
        !            79:                return boolean is
        !            80:
        !            81:     use Standard_Natural_Vectors;
        !            82:
        !            83:   begin
        !            84:     if v1 = null
        !            85:      then return false;
        !            86:      elsif v2 = null
        !            87:          then if Sum(v1) > 0
        !            88:                then return true;
        !            89:                else return false;
        !            90:               end if;
        !            91:          else return v1.all > v2.all;
        !            92:     end if;
        !            93:   end ">";
        !            94:
        !            95: -- FOR STANDARD INTEGER VECTORS :
        !            96:
        !            97:   function "<" ( v1,v2 : Standard_Integer_Vectors.Vector ) return boolean is
        !            98:
        !            99:     use Standard_Integer_Vectors;
        !           100:
        !           101:     s1,s2 : integer;
        !           102:
        !           103:   begin
        !           104:     s1 := Sum(v1);
        !           105:     s2 := Sum(v2);
        !           106:     if s1 < s2
        !           107:      then return true;
        !           108:      elsif s1 > s2
        !           109:          then return false;
        !           110:          else if v1'first /= v2'first or else v1'last /= v2'last
        !           111:                then raise CONSTRAINT_ERROR;
        !           112:                else for i in v1'range loop
        !           113:                       if v1(i) < v2(i)
        !           114:                        then return true;
        !           115:                        elsif v1(i) > v2(i)
        !           116:                            then return false;
        !           117:                       end if;
        !           118:                     end loop;
        !           119:                     return false;  -- v1 = v2
        !           120:               end if;
        !           121:     end if;
        !           122:   end "<";
        !           123:
        !           124:   function "<" ( v1,v2 : Standard_Integer_Vectors.Link_to_Vector )
        !           125:                return boolean is
        !           126:
        !           127:     use Standard_Integer_Vectors;
        !           128:
        !           129:   begin
        !           130:     if v2 = null
        !           131:      then return false;
        !           132:      elsif v1 = null
        !           133:          then if Sum(v2) > 0
        !           134:                then return true;
        !           135:                else return false;
        !           136:               end if;
        !           137:          else return v1.all < v2.all;
        !           138:     end if;
        !           139:   end "<";
        !           140:
        !           141:   function ">" ( v1,v2 : Standard_Integer_Vectors.Vector ) return boolean is
        !           142:
        !           143:     use Standard_Integer_Vectors;
        !           144:
        !           145:     s1,s2 : integer;
        !           146:
        !           147:   begin
        !           148:     s1 := Sum(v1);
        !           149:     s2 := Sum(v2);
        !           150:     if s1 < s2
        !           151:      then return false;
        !           152:      elsif s1 > s2
        !           153:          then return true;
        !           154:          else if v1'first /= v2'first or else v1'last /= v2'last
        !           155:                then raise CONSTRAINT_ERROR;
        !           156:                else for i in v1'range loop
        !           157:                       if v1(i) < v2(i)
        !           158:                        then return false;
        !           159:                        elsif v1(i) > v2(i)
        !           160:                            then return true;
        !           161:                       end if;
        !           162:                     end loop;
        !           163:                     return false;  -- v1 = v2
        !           164:               end if;
        !           165:     end if;
        !           166:   end ">";
        !           167:
        !           168:   function ">" ( v1,v2 : Standard_Integer_Vectors.Link_to_Vector )
        !           169:                return boolean is
        !           170:
        !           171:     use Standard_Integer_Vectors;
        !           172:
        !           173:   begin
        !           174:     if v1 = null
        !           175:      then return false;
        !           176:      elsif v2 = null
        !           177:          then if Sum(v1) > 0
        !           178:                then return true;
        !           179:                else return false;
        !           180:               end if;
        !           181:          else return v1.all > v2.all;
        !           182:     end if;
        !           183:   end ">";
        !           184:
        !           185: end Graded_Lexicographic_Order;