Set assumption to symbolic variable

@variables n::Int is what it will be. But the system is not complete.

2 Likes