<?php
session_start();

$a = $_GET["a"];
$b = $_GET["b"];
$c = $_GET["c"];

$delta = $b * $b - 4 * $a * $c;

$x1 = 0;
$x2 = 0;

if ($delta == 0) {
    $type = 1;
    $x1 = - $b / (2 * $a);
} else if ($delta > 0) {
    $type = 2;
    $x1 = (-$b + sqrt($delta)) / (2 * $a);
    $x2 = (-$b - sqrt($delta)) / (2 * $a);
} else {  // delta < 0
    $type = 0;
}

$_SESSION["a"] = $a;
$_SESSION["b"] = $b;
$_SESSION["c"] = $c;
$_SESSION["type"] = $type;
$_SESSION["x1"] = $x1;
$_SESSION["x2"] = $x2;

header("Location: result.php");