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

на

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

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

верно

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

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