Pressio/pressio

rom: fix how traits are defined for reduced operators and other things

fnrizzi opened this issue · 0 comments

we need to redefine how one query traits for reduced operators etc, because the proper way to do this would be via a problem type NOT just the rom state .
The rom state is useful for galerin but not necessarily for LSPG