UndefVarError: FmpzModRing not defined

[mbenelli]

While evaluating using ToyFHE, I see the following:

[ Info: Precompiling ToyFHE [ed6b25c6-c39d-11e9-27fc-075f0335bf0b]

Welcome to Nemo version 0.15.1

Nemo comes with absolutely no warranty whatsoever


Welcome to

    _    _           _
   | |  | |         | |
   | |__| | ___  ___| | _____
   |  __  |/ _ \/ __| |/ / _ \
   | |  | |  __/ (__|   <  __/
   |_|  |_|\___|\___|_|\_\___|

Version 0.6.7 ...
 ... which comes with absolutely no warranty whatsoever
(c) 2015-2019 by Claus Fieker, Tommy Hofmann and Carlo Sircana

WARNING: using Hecke.modulus in module Utils conflicts with an existing identifier.
WARNING: using Hecke.degree in module Utils conflicts with an existing identifier.
ERROR: LoadError: LoadError: UndefVarError: FmpzModRing not defined
Stacktrace:
 [1] getproperty(::Module, ::Symbol) at .\Base.jl:13
 [2] top-level scope at C:\Users\marco\.julia\packages\ToyFHE\EUUTq\src\utils.jl:33
 [3] include at .\boot.jl:328 [inlined]
 [4] include_relative(::Module, ::String) at .\loading.jl:1105
 [5] include at .\Base.jl:31 [inlined]
 [6] include(::String) at C:\Users\marco\.julia\packages\ToyFHE\EUUTq\src\ToyFHE.jl:1
 [7] top-level scope at C:\Users\marco\.julia\packages\ToyFHE\EUUTq\src\ToyFHE.jl:25
 [8] include at .\boot.jl:328 [inlined]
 [9] include_relative(::Module, ::String) at .\loading.jl:1105
 [10] include(::Module, ::String) at .\Base.jl:31
 [11] top-level scope at none:2
 [12] eval at .\boot.jl:330 [inlined]
 [13] eval(::Expr) at .\client.jl:425
 [14] top-level scope at .\none:3
in expression starting at C:\Users\marco\.julia\packages\ToyFHE\EUUTq\src\utils.jl:33
in expression starting at C:\Users\marco\.julia\packages\ToyFHE\EUUTq\src\ToyFHE.jl:25
ERROR: Failed to precompile ToyFHE [ed6b25c6-c39d-11e9-27fc-075f0335bf0b] to C:\Users\marco\.julia\compiled\v1.3\ToyFHE\EfSLj_Hqkgq.ji.
Stacktrace:
 [1] error(::String) at .\error.jl:33
 [2] compilecache(::Base.PkgId, ::String) at .\loading.jl:1283
 [3] _require(::Base.PkgId) at .\loading.jl:1024
 [4] require(::Base.PkgId) at .\loading.jl:922
 [5] require(::Module, ::Symbol) at .\loading.jl:917

[Keno]

Looks like you used the package manager's add command to install the package? It currently depends on modifications to upstream packages that don't get automatically installed via that method. You should instead activate the manifest that comes with the package. See the installation instructions: https://github.com/JuliaComputing/ToyFHE.jl#installation. Let me know if that doesn't work.

[mbenelli]

Yep, it works!
Thank you very much, I am sorry for the noise.