Added
Link Here
|
1 |
--- linbox/ring/ntl/ntl-lzz_pex.h.orig 2022-07-28 02:52:14 UTC |
2 |
+++ linbox/ring/ntl/ntl-lzz_pex.h |
3 |
@@ -533,7 +533,7 @@ namespace LinBox |
4 |
_size(size), _seed(seed), _ring(F) |
5 |
{ |
6 |
if(_seed == 0) |
7 |
- NTL::SetSeed(NTL::to_ZZ(time(0))); |
8 |
+ NTL::SetSeed(NTL::to_ZZ(static_cast<long unsigned int>(time(0)))); |
9 |
else |
10 |
NTL::SetSeed(NTL::to_ZZ(static_cast<long unsigned int>(_seed))); |
11 |
} |
12 |
@@ -545,7 +545,7 @@ namespace LinBox |
13 |
|
14 |
{ |
15 |
if(_seed == 0) |
16 |
- NTL::SetSeed(NTL::to_ZZ(time(0))); |
17 |
+ NTL::SetSeed(NTL::to_ZZ(static_cast<long unsigned int>(time(0)))); |
18 |
else |
19 |
NTL::SetSeed(NTL::to_ZZ(static_cast<long unsigned int>(_seed))); |
20 |
} |