Народ,
расcкажите пожалуйста, кто в курсе, как это работает??

arr.All(x => x * x — 12 * x + 35 == 0);

КАК pex находит эти корни???

Здравствуйте, Аноним, Вы писали:

А>Народ,
А>расcкажите пожалуйста, кто в курсе, как это работает??

А>arr.All(x => x * x — 12 * x + 35 == 0);

А>КАК pex находит эти корни???

По всему массиву выполняется лямбда функция. И вытаскиваются только истинные значения (т.е. корни).
Более сложно можно было бы написать что-то вроде:
foreach ( var x in arr ) {
if ( x * x — 12 * x + 35 == 0 ) yield x;
}
В чем проблема то?

Здравствуйте, Аноним, Вы писали:

А>Здравствуйте, Аноним, Вы писали:

А>>Народ,
А>>расcкажите пожалуйста, кто в курсе, как это работает??

А>>arr.All(x => x * x — 12 * x + 35 == 0);

А>>КАК pex находит эти корни???

А>По всему массиву выполняется лямбда функция. И вытаскиваются только истинные значения (т.е. корни).
А>Более сложно можно было бы написать что-то вроде:
А>foreach ( var x in arr ) {
А> if ( x * x — 12 * x + 35 == 0 ) yield x;
А>}
А>В чем проблема то?

Что такое PEX в курсе? http://www.pexforfun.com/

Здравствуйте, Аноним, Вы писали:

А>КАК pex находит эти корни???

Pex использует SMT Solver Z3 (сайт, презентация).

Здравствуйте, nikov, Вы писали:

N>Здравствуйте, Аноним, Вы писали:

А>>КАК pex находит эти корни???

N>Pex использует SMT Solver Z3 (сайт, презентация).

спасибо!

Здравствуйте, anton_t, Вы писали:

_>Здравствуйте, Аноним, Вы писали:

А>>Здравствуйте, Аноним, Вы писали:

А>>>Народ,
А>>>расcкажите пожалуйста, кто в курсе, как это работает??

А>>>arr.All(x => x * x — 12 * x + 35 == 0);

А>>>КАК pex находит эти корни???

А>>По всему массиву выполняется лямбда функция. И вытаскиваются только истинные значения (т.е. корни).
А>>Более сложно можно было бы написать что-то вроде:
А>>foreach ( var x in arr ) {
А>> if ( x * x — 12 * x + 35 == 0 ) yield x;
А>>}
А>>В чем проблема то?

_>Что такое PEX в курсе? http://www.pexforfun.com/

Я так понял, что "как pex находит корни" == "как pex решает пазлы"?
Т.е. речь не шла об собственно уравнении?

Здравствуйте, Аноним, Вы писали:

А>Народ,
А>расcкажите пожалуйста, кто в курсе, как это работает??

А>arr.All(x => x * x — 12 * x + 35 == 0);

А>КАК pex находит эти корни???

Вы не знаете, как находятся корни квадратного уравнения?

Здравствуйте, koandrew, Вы писали:

А>>расcкажите пожалуйста, кто в курсе, как это работает??
А>>arr.All(x => x * x — 12 * x + 35 == 0);
А>>КАК pex находит эти корни???
K>Вы не знаете, как находятся корни квадратного уравнения?

А вы знаете, как пекс определяет, что здесь квадратное уравнение?!

Здравствуйте, _FRED_, Вы писали:

_FR>Здравствуйте, koandrew, Вы писали:

А>>>расcкажите пожалуйста, кто в курсе, как это работает??
А>>>arr.All(x => x * x — 12 * x + 35 == 0);
А>>>КАК pex находит эти корни???
K>>Вы не знаете, как находятся корни квадратного уравнения?

_FR>А вы знаете, как пекс определяет, что здесь квадратное уравнение?!

ну если допускаются только арифметические операторы в выражении — то ничего сложного вроде нет. Или есть?