Здравствуйте!
Много времени потратил на поиски в документации, но так и не нашел ответ на мой вопрос.
Пусть дана матрица размера 

 на 

. Элементы матрицы : 

. Пусть все строки ортогональны другу другу, то есть для любых различных 

 верно 

. Хочется загнать эту систему с некоторыми дополнительными свойствами в Mathematica, и порешать её с помощью процедур Reduce и GroebnerBasis.
Можно ли в Mathematica задать систему уравнений, количество и вид которых зависели бы от параметра 

?
Заранее спасибо.