At this stage the hadamard transform and its full matrix are properly generated through FaustFactory, then the factorization operates with a non-significant relative error (so it works).