Add helpful message when ProductManifold
is used without RAT.jl
#722
Job | Run time |
---|---|
5m 15s | |
5m 15s |
ProductManifold
is used without RAT.jl
#722
Job | Run time |
---|---|
5m 15s | |
5m 15s |