| /dports/math/fricas/fricas-1.3.7/src/algebra/ |
| H A D | genser.spad | 4 Expon : OrderedAbelianMonoid,
6 removeZeros : (%, Expon) -> %;
38 ord : Expon := degree(x)
275 degree(x : %) : Expon ==
276 empty?(x) => 0$Expon
321 -- (dkiu : Union(Expon, "failed") := subtractIfCan(tx.k, ky)$Expon)
324 dki := dkiu::Expon
418 order(x : %, ki : Expon) : Expon ==
427 order(x : %) : Expon ==
450 truncate(x : %, k1 : Expon, k2 : Expon) : % ==
[all …]
|
| H A D | gbintern.spad | 11 Expon : OrderedAbelianMonoidSup
12 Dpol : Join(FiniteAbelianMonoidRing(Dom, Expon),
41 critM : (Expon, Expon) -> Boolean
43 critB : (Expon, Expon, Expon, Expon) -> Boolean
105 e1 := subtractIfCan(deg, degree(p1))::Expon
106 e2 := subtractIfCan(deg, degree(p2))::Expon
177 critMonD1(e : Expon, D2 : List(critPair))==
267 e : Union(Expon, "failed")
288 critM(e1 : Expon, e2 : Expon) ==
289 en : Union(Expon, "failed")
[all …]
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/ |
| H A D | s-exponr.adb | 63 function Expon (Left : Num; Right : Natural) return Num; subprogspec
70 function Expon (Left : Num; Right : Natural) return Num is subprogram
92 end Expon; argument
123 return Num'Machine (Expon (Left, Right));
|
| /dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
| H A D | s-imgdec.adb | 105 Expon : Integer; variable
261 Expon := 0;
263 Expon := Digits_Before_Point - 1;
269 if Expon >= 0 then
271 Set_Image_Integer (Expon, Digs, ND);
274 Set_Image_Integer (-Expon, Digs, ND);
|
| /dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
| H A D | s-imgdec.adb | 105 Expon : Integer; variable
261 Expon := 0;
263 Expon := Digits_Before_Point - 1;
269 if Expon >= 0 then
271 Set_Image_Integer (Expon, Digs, ND);
274 Set_Image_Integer (-Expon, Digs, ND);
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gnat.dg/ |
| H A D | spark2.ads | 3 function Expon (Value, Exp : Natural) return Natural is subprogram
5 else Value * Expon (Value, Exp - 1))
14 Post => Factorial'Result <= Expon (Max_Factorial_Number, N);
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gnat.dg/ |
| H A D | spark2.ads | 3 function Expon (Value, Exp : Natural) return Natural is subprogram
5 else Value * Expon (Value, Exp - 1))
14 Post => Factorial'Result <= Expon (Max_Factorial_Number, N);
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gnat.dg/ |
| H A D | spark2.ads | 3 function Expon (Value, Exp : Natural) return Natural is subprogram
5 else Value * Expon (Value, Exp - 1))
14 Post => Factorial'Result <= Expon (Max_Factorial_Number, N);
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gnat.dg/ |
| H A D | spark2.ads | 3 function Expon (Value, Exp : Natural) return Natural is subprogram
5 else Value * Expon (Value, Exp - 1))
14 Post => Factorial'Result <= Expon (Max_Factorial_Number, N);
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gnat.dg/ |
| H A D | spark2.ads | 3 function Expon (Value, Exp : Natural) return Natural is subprogram
5 else Value * Expon (Value, Exp - 1))
14 Post => Factorial'Result <= Expon (Max_Factorial_Number, N);
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gnat.dg/ |
| H A D | spark2.ads | 3 function Expon (Value, Exp : Natural) return Natural is subprogram
5 else Value * Expon (Value, Exp - 1))
14 Post => Factorial'Result <= Expon (Max_Factorial_Number, N);
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gnat.dg/ |
| H A D | spark2.ads | 3 function Expon (Value, Exp : Natural) return Natural is subprogram
5 else Value * Expon (Value, Exp - 1))
14 Post => Factorial'Result <= Expon (Max_Factorial_Number, N);
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gnat.dg/ |
| H A D | spark2.ads | 3 function Expon (Value, Exp : Natural) return Natural is subprogram
5 else Value * Expon (Value, Exp - 1))
14 Post => Factorial'Result <= Expon (Max_Factorial_Number, N);
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gnat.dg/ |
| H A D | spark2.ads | 3 function Expon (Value, Exp : Natural) return Natural is subprogram
5 else Value * Expon (Value, Exp - 1))
14 Post => Factorial'Result <= Expon (Max_Factorial_Number, N);
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gnat.dg/ |
| H A D | spark2.ads | 3 function Expon (Value, Exp : Natural) return Natural is subprogram
5 else Value * Expon (Value, Exp - 1))
14 Post => Factorial'Result <= Expon (Max_Factorial_Number, N);
|
| /dports/math/fricas/fricas-1.3.7/pre-generated/src/algebra/ |
| H A D | GBEUCLID.lsp | 89 (|Record| (|:| |lcmfij| |Expon|) (|:| |lcmcij| |Dom|)
334 ((|e| |Expon|) (|c| |Dom|)
336 (|Record| (|:| |lcmfij| |Expon|) (|:| |lcmcij| |Dom|)
505 (|hlcm| (|Expon|)) (|h1| (|Dpol|)))
580 (|dh| (|Expon|)) (|dh1| (|Expon|)) (|h1| (|Dpol|)))
657 (|fi| (|Dpol|)) (|Tij| (|Expon|)))
717 (|lf1| (|Dom|)) (|ds| (|Expon|)) (|f1| (|Dpol|)))
782 ((|e1| |Expon|) (|c1| |Dom|) (|e2| |Expon|) (|c2| |Dom|) ($ |Boolean|))
797 ((|eh| |Expon|) (|ch| |Dom|) (|ei| |Expon|) (|ci| |Dom|) (|ek| |Expon|)
799 (SPROG ((|cik| (|Dom|)) (|eik| (|Expon|)))
[all …]
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
| H A D | s-imgdec.adb | 101 Expon : Integer; variable
276 Expon := (if Zero then 0 else Digits_Before_Point - 1);
280 if Expon >= 0 then
282 Set_Image_Integer (Expon, Digs, ND);
285 Set_Image_Integer (-Expon, Digs, ND);
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
| H A D | s-imgdec.adb | 101 Expon : Integer; variable
276 Expon := (if Zero then 0 else Digits_Before_Point - 1);
280 if Expon >= 0 then
282 Set_Image_Integer (Expon, Digs, ND);
285 Set_Image_Integer (-Expon, Digs, ND);
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/ada/libgnat/ |
| H A D | s-imgdec.adb | 101 Expon : Integer; variable
276 Expon := (if Zero then 0 else Digits_Before_Point - 1);
280 if Expon >= 0 then
282 Set_Image_Integer (Expon, Digs, ND);
285 Set_Image_Integer (-Expon, Digs, ND);
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
| H A D | s-imgdec.adb | 101 Expon : Integer; variable
276 Expon := (if Zero then 0 else Digits_Before_Point - 1);
280 if Expon >= 0 then
282 Set_Image_Integer (Expon, Digs, ND);
285 Set_Image_Integer (-Expon, Digs, ND);
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
| H A D | s-imgdec.adb | 101 Expon : Integer; variable
276 Expon := (if Zero then 0 else Digits_Before_Point - 1);
280 if Expon >= 0 then
282 Set_Image_Integer (Expon, Digs, ND);
285 Set_Image_Integer (-Expon, Digs, ND);
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/libgnat/ |
| H A D | s-imgdec.adb | 101 Expon : Integer; variable
276 Expon := (if Zero then 0 else Digits_Before_Point - 1);
280 if Expon >= 0 then
282 Set_Image_Integer (Expon, Digs, ND);
285 Set_Image_Integer (-Expon, Digs, ND);
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
| H A D | s-imgdec.adb | 101 Expon : Integer; variable
276 Expon := (if Zero then 0 else Digits_Before_Point - 1);
280 if Expon >= 0 then
282 Set_Image_Integer (Expon, Digs, ND);
285 Set_Image_Integer (-Expon, Digs, ND);
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/libgnat/ |
| H A D | s-imguti.adb | 80 Expon : Integer; variable
275 Expon := (if Zero then 0 else Digits_Before_Point - 1);
280 if Expon >= 0 then
282 Set_Image_Unsigned (Unsigned (Expon), Digs, ND);
285 Set_Image_Unsigned (Unsigned (-Expon), Digs, ND);
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/ada/ |
| H A D | s-imgdec.adb | 101 Expon : Integer; variable
276 Expon := (if Zero then 0 else Digits_Before_Point - 1);
280 if Expon >= 0 then
282 Set_Image_Integer (Expon, Digs, ND);
285 Set_Image_Integer (-Expon, Digs, ND);
|