0s autopkgtest [16:55:48]: starting date and time: 2024-03-23 16:55:48+0000 0s autopkgtest [16:55:48]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [16:55:48]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.6yi4jdoq/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src:readline,src:asymptote --apt-upgrade qepcad --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=readline/8.2-4 asymptote/2.87+ds-1build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos01-ppc64el-2.secgroup --name adt-noble-ppc64el-qepcad-20240323-164403-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://us.ports.ubuntu.com/ubuntu-ports/ 110s autopkgtest [16:57:38]: testbed dpkg architecture: ppc64el 110s autopkgtest [16:57:38]: testbed apt version: 2.7.12 110s autopkgtest [16:57:38]: @@@@@@@@@@@@@@@@@@@@ test bed setup 111s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 111s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [493 kB] 111s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3969 kB] 112s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.9 kB] 112s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 112s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [659 kB] 112s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B] 112s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [1372 B] 112s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B] 112s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [4248 kB] 113s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B] 113s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [60.8 kB] 113s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B] 115s Fetched 9623 kB in 3s (3473 kB/s) 116s Reading package lists... 118s Reading package lists... 118s Building dependency tree... 118s Reading state information... 119s Calculating upgrade... 119s The following packages will be upgraded: 119s cloud-init fonts-ubuntu-console libbsd0 libc-bin libc6 locales 119s python3-markupsafe readline-common 119s 8 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 119s Need to get 8999 kB of archives. 119s After this operation, 63.5 kB disk space will be freed. 119s Get:1 http://ftpmaster.internal/ubuntu noble/main ppc64el libc6 ppc64el 2.39-0ubuntu6 [3274 kB] 120s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libc-bin ppc64el 2.39-0ubuntu6 [751 kB] 120s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libbsd0 ppc64el 0.12.1-1 [56.9 kB] 120s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el locales all 2.39-0ubuntu6 [4232 kB] 120s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el readline-common all 8.2-4 [56.4 kB] 120s Get:6 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-ubuntu-console all 0.869+git20240321-0ubuntu1 [18.7 kB] 120s Get:7 http://ftpmaster.internal/ubuntu noble/main ppc64el python3-markupsafe ppc64el 2.1.5-1build1 [13.2 kB] 120s Get:8 http://ftpmaster.internal/ubuntu noble/main ppc64el cloud-init all 24.1.2-0ubuntu1 [597 kB] 121s Preconfiguring packages ... 121s Fetched 8999 kB in 2s (5419 kB/s) 121s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 70157 files and directories currently installed.) 121s Preparing to unpack .../libc6_2.39-0ubuntu6_ppc64el.deb ... 121s Unpacking libc6:ppc64el (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 121s Setting up libc6:ppc64el (2.39-0ubuntu6) ... 122s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 70157 files and directories currently installed.) 122s Preparing to unpack .../libc-bin_2.39-0ubuntu6_ppc64el.deb ... 122s Unpacking libc-bin (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 122s Setting up libc-bin (2.39-0ubuntu6) ... 122s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 70157 files and directories currently installed.) 122s Preparing to unpack .../0-libbsd0_0.12.1-1_ppc64el.deb ... 122s Unpacking libbsd0:ppc64el (0.12.1-1) over (0.11.8-1) ... 122s Preparing to unpack .../1-locales_2.39-0ubuntu6_all.deb ... 122s Unpacking locales (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 122s Preparing to unpack .../2-readline-common_8.2-4_all.deb ... 122s Unpacking readline-common (8.2-4) over (8.2-3) ... 122s Preparing to unpack .../3-fonts-ubuntu-console_0.869+git20240321-0ubuntu1_all.deb ... 122s Unpacking fonts-ubuntu-console (0.869+git20240321-0ubuntu1) over (0.869-0ubuntu1) ... 122s Preparing to unpack .../4-python3-markupsafe_2.1.5-1build1_ppc64el.deb ... 122s Unpacking python3-markupsafe (2.1.5-1build1) over (2.1.5-1) ... 122s Preparing to unpack .../5-cloud-init_24.1.2-0ubuntu1_all.deb ... 122s Unpacking cloud-init (24.1.2-0ubuntu1) over (24.1.1-0ubuntu1) ... 122s Setting up fonts-ubuntu-console (0.869+git20240321-0ubuntu1) ... 122s Setting up cloud-init (24.1.2-0ubuntu1) ... 124s Setting up locales (2.39-0ubuntu6) ... 124s Generating locales (this might take a while)... 126s en_US.UTF-8... done 126s Generation complete. 126s Setting up python3-markupsafe (2.1.5-1build1) ... 126s Setting up libbsd0:ppc64el (0.12.1-1) ... 126s Setting up readline-common (8.2-4) ... 126s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 126s Processing triggers for man-db (2.12.0-3) ... 127s Processing triggers for install-info (7.1-3) ... 127s Processing triggers for libc-bin (2.39-0ubuntu6) ... 127s Reading package lists... 127s Building dependency tree... 127s Reading state information... 127s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 128s sh: Attempting to set up Debian/Ubuntu apt sources automatically 128s sh: Distribution appears to be Ubuntu 129s Reading package lists... 129s Building dependency tree... 129s Reading state information... 129s eatmydata is already the newest version (131-1). 129s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 129s Reading package lists... 129s Building dependency tree... 129s Reading state information... 129s dbus is already the newest version (1.14.10-4ubuntu1). 129s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 129s Reading package lists... 129s Building dependency tree... 130s Reading state information... 130s rng-tools-debian is already the newest version (2.4). 130s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 130s Reading package lists... 130s Building dependency tree... 130s Reading state information... 130s The following packages will be REMOVED: 130s cloud-init* python3-configobj* python3-debconf* 130s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 130s After this operation, 3256 kB disk space will be freed. 130s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 70156 files and directories currently installed.) 130s Removing cloud-init (24.1.2-0ubuntu1) ... 131s Removing python3-configobj (5.0.8-3) ... 131s Removing python3-debconf (1.5.86) ... 131s Processing triggers for man-db (2.12.0-3) ... 131s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 69767 files and directories currently installed.) 131s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 132s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 132s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 132s invoke-rc.d: policy-rc.d denied execution of try-restart. 132s Reading package lists... 132s Building dependency tree... 132s Reading state information... 132s linux-generic is already the newest version (6.8.0-11.11+1). 132s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 133s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 133s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 133s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 135s Reading package lists... 135s Reading package lists... 135s Building dependency tree... 135s Reading state information... 135s Calculating upgrade... 135s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 135s Reading package lists... 136s Building dependency tree... 136s Reading state information... 136s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 136s autopkgtest [16:58:04]: rebooting testbed after setup commands that affected boot 296s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 303s autopkgtest [17:00:51]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP Wed Feb 14 00:33:03 UTC 2024 306s autopkgtest [17:00:54]: @@@@@@@@@@@@@@@@@@@@ apt-source qepcad 308s Get:1 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4 (dsc) [2019 B] 308s Get:2 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4 (tar) [255 kB] 308s Get:3 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4 (diff) [26.5 kB] 308s gpgv: Signature made Thu Aug 24 11:11:25 2023 UTC 308s gpgv: using RSA key BA9821C12E07894FB2E4AD0091DC4A779EC5C910 308s gpgv: issuer "dtorrance@debian.org" 308s gpgv: Can't check signature: No public key 308s dpkg-source: warning: cannot verify inline signature for ./qepcad_1.74+ds-4.dsc: no acceptable signature found 308s autopkgtest [17:00:56]: testing package qepcad version 1.74+ds-4 309s autopkgtest [17:00:57]: build not needed 309s autopkgtest [17:00:57]: test command1: preparing testbed 317s Reading package lists... 317s Building dependency tree... 317s Reading state information... 318s Starting pkgProblemResolver with broken count: 0 318s Starting 2 pkgProblemResolver with broken count: 0 318s Done 318s The following additional packages will be installed: 318s libcdd0d libdrm-amdgpu1 libdrm-nouveau2 libdrm-radeon1 libflint18 libgf2x3 318s libgl1 libgl1-mesa-dri libglapi-mesa libglu1-mesa libglut3.12 libglvnd0 318s libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl libllvm17 libntl44 libopengl0 318s libsingular4m3n0 libvulkan1 libx11-xcb1 libxcb-dri2-0 libxcb-dri3-0 318s libxcb-glx0 libxcb-present0 libxcb-randr0 libxcb-shm0 libxcb-sync1 318s libxcb-xfixes0 libxfixes3 libxi6 libxshmfence1 libxxf86vm1 qepcad singular 318s singular-data singular-modules singular-ui 318s Suggested packages: 318s gmp-doc libgmp10-doc libmpfr-dev singular-doc 318s graphicsmagick-imagemagick-compat | imagemagick 318s Recommended packages: 318s libgl1-amber-dri mesa-vulkan-drivers | vulkan-icd graphviz 4ti2 normaliz 318s surf-alggeo topcom 318s The following NEW packages will be installed: 318s autopkgtest-satdep libcdd0d libdrm-amdgpu1 libdrm-nouveau2 libdrm-radeon1 318s libflint18 libgf2x3 libgl1 libgl1-mesa-dri libglapi-mesa libglu1-mesa 318s libglut3.12 libglvnd0 libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl 318s libllvm17 libntl44 libopengl0 libsingular4m3n0 libvulkan1 libx11-xcb1 318s libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-randr0 318s libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxfixes3 libxi6 libxshmfence1 318s libxxf86vm1 qepcad singular singular-data singular-modules singular-ui 318s 0 upgraded, 40 newly installed, 0 to remove and 0 not upgraded. 318s Need to get 50.9 MB/50.9 MB of archives. 318s After this operation, 226 MB of additional disk space will be used. 318s Get:1 /tmp/autopkgtest.yLvq8o/1-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [704 B] 318s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libgmpxx4ldbl ppc64el 2:6.3.0+dfsg-2ubuntu4 [10.2 kB] 318s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libgmp-dev ppc64el 2:6.3.0+dfsg-2ubuntu4 [365 kB] 318s Get:4 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcdd0d ppc64el 094m-1 [134 kB] 318s Get:5 http://ftpmaster.internal/ubuntu noble/main ppc64el libdrm-amdgpu1 ppc64el 2.4.120-2 [24.5 kB] 318s Get:6 http://ftpmaster.internal/ubuntu noble/main ppc64el libdrm-nouveau2 ppc64el 2.4.120-2 [21.2 kB] 318s Get:7 http://ftpmaster.internal/ubuntu noble/main ppc64el libdrm-radeon1 ppc64el 2.4.120-2 [30.6 kB] 318s Get:8 http://ftpmaster.internal/ubuntu noble/universe ppc64el libflint18 ppc64el 3.0.1-3 [4699 kB] 320s Get:9 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgf2x3 ppc64el 1.3.0-2 [52.4 kB] 320s Get:10 http://ftpmaster.internal/ubuntu noble/main ppc64el libvulkan1 ppc64el 1.3.275.0-1 [176 kB] 320s Get:11 http://ftpmaster.internal/ubuntu noble/main ppc64el libglapi-mesa ppc64el 24.0.1-1ubuntu1 [41.8 kB] 320s Get:12 http://ftpmaster.internal/ubuntu noble/main ppc64el libllvm17 ppc64el 1:17.0.6-5build1 [27.3 MB] 322s Get:13 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-dri3-0 ppc64el 1.15-1 [7392 B] 322s Get:14 http://ftpmaster.internal/ubuntu noble/main ppc64el libgl1-mesa-dri ppc64el 24.0.1-1ubuntu1 [5885 kB] 322s Get:15 http://ftpmaster.internal/ubuntu noble/main ppc64el libglvnd0 ppc64el 1.7.0-1 [84.0 kB] 322s Get:16 http://ftpmaster.internal/ubuntu noble/main ppc64el libx11-xcb1 ppc64el 2:1.8.7-1 [7866 B] 322s Get:17 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-dri2-0 ppc64el 1.15-1 [7444 B] 322s Get:18 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-glx0 ppc64el 1.15-1 [26.2 kB] 322s Get:19 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-present0 ppc64el 1.15-1 [5814 B] 322s Get:20 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-randr0 ppc64el 1.15-1 [18.9 kB] 322s Get:21 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-shm0 ppc64el 1.15-1 [5896 B] 322s Get:22 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-sync1 ppc64el 1.15-1 [9720 B] 322s Get:23 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-xfixes0 ppc64el 1.15-1 [10.6 kB] 322s Get:24 http://ftpmaster.internal/ubuntu noble/main ppc64el libxfixes3 ppc64el 1:6.0.0-2 [11.6 kB] 322s Get:25 http://ftpmaster.internal/ubuntu noble/main ppc64el libxshmfence1 ppc64el 1.3-1build4 [5566 B] 322s Get:26 http://ftpmaster.internal/ubuntu noble/main ppc64el libxxf86vm1 ppc64el 1:1.1.4-1build3 [11.8 kB] 322s Get:27 http://ftpmaster.internal/ubuntu noble/main ppc64el libglx-mesa0 ppc64el 24.0.1-1ubuntu1 [160 kB] 322s Get:28 http://ftpmaster.internal/ubuntu noble/main ppc64el libglx0 ppc64el 1.7.0-1 [42.1 kB] 322s Get:29 http://ftpmaster.internal/ubuntu noble/main ppc64el libgl1 ppc64el 1.7.0-1 [108 kB] 322s Get:30 http://ftpmaster.internal/ubuntu noble/main ppc64el libxi6 ppc64el 2:1.8.1-1 [37.9 kB] 322s Get:31 http://ftpmaster.internal/ubuntu noble/universe ppc64el libglut3.12 ppc64el 3.4.0-1 [129 kB] 322s Get:32 http://ftpmaster.internal/ubuntu noble/universe ppc64el libntl44 ppc64el 11.5.1-1 [1038 kB] 322s Get:33 http://ftpmaster.internal/ubuntu noble/universe ppc64el libsingular4m3n0 ppc64el 1:4.3.2-p10+ds-1build1 [3582 kB] 323s Get:34 http://ftpmaster.internal/ubuntu noble/universe ppc64el singular-data all 1:4.3.2-p10+ds-1build1 [4846 kB] 323s Get:35 http://ftpmaster.internal/ubuntu noble/universe ppc64el singular-ui ppc64el 1:4.3.2-p10+ds-1build1 [11.2 kB] 323s Get:36 http://ftpmaster.internal/ubuntu noble/universe ppc64el singular-modules ppc64el 1:4.3.2-p10+ds-1build1 [1141 kB] 323s Get:37 http://ftpmaster.internal/ubuntu noble/universe ppc64el singular ppc64el 1:4.3.2-p10+ds-1build1 [5002 B] 323s Get:38 http://ftpmaster.internal/ubuntu noble/main ppc64el libopengl0 ppc64el 1.7.0-1 [35.4 kB] 323s Get:39 http://ftpmaster.internal/ubuntu noble/main ppc64el libglu1-mesa ppc64el 9.0.2-1.1 [262 kB] 323s Get:40 http://ftpmaster.internal/ubuntu noble/universe ppc64el qepcad ppc64el 1.74+ds-4 [571 kB] 323s Fetched 50.9 MB in 5s (10.5 MB/s) 323s Selecting previously unselected package libgmpxx4ldbl:ppc64el. 323s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 69712 files and directories currently installed.) 323s Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu4_ppc64el.deb ... 323s Unpacking libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu4) ... 323s Selecting previously unselected package libgmp-dev:ppc64el. 323s Preparing to unpack .../01-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu4_ppc64el.deb ... 323s Unpacking libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu4) ... 323s Selecting previously unselected package libcdd0d:ppc64el. 323s Preparing to unpack .../02-libcdd0d_094m-1_ppc64el.deb ... 323s Unpacking libcdd0d:ppc64el (094m-1) ... 323s Selecting previously unselected package libdrm-amdgpu1:ppc64el. 323s Preparing to unpack .../03-libdrm-amdgpu1_2.4.120-2_ppc64el.deb ... 323s Unpacking libdrm-amdgpu1:ppc64el (2.4.120-2) ... 323s Selecting previously unselected package libdrm-nouveau2:ppc64el. 323s Preparing to unpack .../04-libdrm-nouveau2_2.4.120-2_ppc64el.deb ... 323s Unpacking libdrm-nouveau2:ppc64el (2.4.120-2) ... 323s Selecting previously unselected package libdrm-radeon1:ppc64el. 323s Preparing to unpack .../05-libdrm-radeon1_2.4.120-2_ppc64el.deb ... 323s Unpacking libdrm-radeon1:ppc64el (2.4.120-2) ... 323s Selecting previously unselected package libflint18:ppc64el. 323s Preparing to unpack .../06-libflint18_3.0.1-3_ppc64el.deb ... 323s Unpacking libflint18:ppc64el (3.0.1-3) ... 323s Selecting previously unselected package libgf2x3:ppc64el. 323s Preparing to unpack .../07-libgf2x3_1.3.0-2_ppc64el.deb ... 323s Unpacking libgf2x3:ppc64el (1.3.0-2) ... 323s Selecting previously unselected package libvulkan1:ppc64el. 323s Preparing to unpack .../08-libvulkan1_1.3.275.0-1_ppc64el.deb ... 323s Unpacking libvulkan1:ppc64el (1.3.275.0-1) ... 323s Selecting previously unselected package libglapi-mesa:ppc64el. 323s Preparing to unpack .../09-libglapi-mesa_24.0.1-1ubuntu1_ppc64el.deb ... 323s Unpacking libglapi-mesa:ppc64el (24.0.1-1ubuntu1) ... 323s Selecting previously unselected package libllvm17:ppc64el. 323s Preparing to unpack .../10-libllvm17_1%3a17.0.6-5build1_ppc64el.deb ... 323s Unpacking libllvm17:ppc64el (1:17.0.6-5build1) ... 324s Selecting previously unselected package libxcb-dri3-0:ppc64el. 324s Preparing to unpack .../11-libxcb-dri3-0_1.15-1_ppc64el.deb ... 324s Unpacking libxcb-dri3-0:ppc64el (1.15-1) ... 324s Selecting previously unselected package libgl1-mesa-dri:ppc64el. 324s Preparing to unpack .../12-libgl1-mesa-dri_24.0.1-1ubuntu1_ppc64el.deb ... 324s Unpacking libgl1-mesa-dri:ppc64el (24.0.1-1ubuntu1) ... 324s Selecting previously unselected package libglvnd0:ppc64el. 324s Preparing to unpack .../13-libglvnd0_1.7.0-1_ppc64el.deb ... 324s Unpacking libglvnd0:ppc64el (1.7.0-1) ... 324s Selecting previously unselected package libx11-xcb1:ppc64el. 324s Preparing to unpack .../14-libx11-xcb1_2%3a1.8.7-1_ppc64el.deb ... 324s Unpacking libx11-xcb1:ppc64el (2:1.8.7-1) ... 324s Selecting previously unselected package libxcb-dri2-0:ppc64el. 324s Preparing to unpack .../15-libxcb-dri2-0_1.15-1_ppc64el.deb ... 324s Unpacking libxcb-dri2-0:ppc64el (1.15-1) ... 324s Selecting previously unselected package libxcb-glx0:ppc64el. 324s Preparing to unpack .../16-libxcb-glx0_1.15-1_ppc64el.deb ... 324s Unpacking libxcb-glx0:ppc64el (1.15-1) ... 325s Selecting previously unselected package libxcb-present0:ppc64el. 325s Preparing to unpack .../17-libxcb-present0_1.15-1_ppc64el.deb ... 325s Unpacking libxcb-present0:ppc64el (1.15-1) ... 325s Selecting previously unselected package libxcb-randr0:ppc64el. 325s Preparing to unpack .../18-libxcb-randr0_1.15-1_ppc64el.deb ... 325s Unpacking libxcb-randr0:ppc64el (1.15-1) ... 325s Selecting previously unselected package libxcb-shm0:ppc64el. 325s Preparing to unpack .../19-libxcb-shm0_1.15-1_ppc64el.deb ... 325s Unpacking libxcb-shm0:ppc64el (1.15-1) ... 325s Selecting previously unselected package libxcb-sync1:ppc64el. 325s Preparing to unpack .../20-libxcb-sync1_1.15-1_ppc64el.deb ... 325s Unpacking libxcb-sync1:ppc64el (1.15-1) ... 325s Selecting previously unselected package libxcb-xfixes0:ppc64el. 325s Preparing to unpack .../21-libxcb-xfixes0_1.15-1_ppc64el.deb ... 325s Unpacking libxcb-xfixes0:ppc64el (1.15-1) ... 325s Selecting previously unselected package libxfixes3:ppc64el. 325s Preparing to unpack .../22-libxfixes3_1%3a6.0.0-2_ppc64el.deb ... 325s Unpacking libxfixes3:ppc64el (1:6.0.0-2) ... 325s Selecting previously unselected package libxshmfence1:ppc64el. 325s Preparing to unpack .../23-libxshmfence1_1.3-1build4_ppc64el.deb ... 325s Unpacking libxshmfence1:ppc64el (1.3-1build4) ... 325s Selecting previously unselected package libxxf86vm1:ppc64el. 325s Preparing to unpack .../24-libxxf86vm1_1%3a1.1.4-1build3_ppc64el.deb ... 325s Unpacking libxxf86vm1:ppc64el (1:1.1.4-1build3) ... 325s Selecting previously unselected package libglx-mesa0:ppc64el. 325s Preparing to unpack .../25-libglx-mesa0_24.0.1-1ubuntu1_ppc64el.deb ... 325s Unpacking libglx-mesa0:ppc64el (24.0.1-1ubuntu1) ... 325s Selecting previously unselected package libglx0:ppc64el. 325s Preparing to unpack .../26-libglx0_1.7.0-1_ppc64el.deb ... 325s Unpacking libglx0:ppc64el (1.7.0-1) ... 325s Selecting previously unselected package libgl1:ppc64el. 325s Preparing to unpack .../27-libgl1_1.7.0-1_ppc64el.deb ... 325s Unpacking libgl1:ppc64el (1.7.0-1) ... 325s Selecting previously unselected package libxi6:ppc64el. 325s Preparing to unpack .../28-libxi6_2%3a1.8.1-1_ppc64el.deb ... 325s Unpacking libxi6:ppc64el (2:1.8.1-1) ... 325s Selecting previously unselected package libglut3.12:ppc64el. 325s Preparing to unpack .../29-libglut3.12_3.4.0-1_ppc64el.deb ... 325s Unpacking libglut3.12:ppc64el (3.4.0-1) ... 325s Selecting previously unselected package libntl44:ppc64el. 325s Preparing to unpack .../30-libntl44_11.5.1-1_ppc64el.deb ... 325s Unpacking libntl44:ppc64el (11.5.1-1) ... 325s Selecting previously unselected package libsingular4m3n0:ppc64el. 325s Preparing to unpack .../31-libsingular4m3n0_1%3a4.3.2-p10+ds-1build1_ppc64el.deb ... 325s Unpacking libsingular4m3n0:ppc64el (1:4.3.2-p10+ds-1build1) ... 325s Selecting previously unselected package singular-data. 325s Preparing to unpack .../32-singular-data_1%3a4.3.2-p10+ds-1build1_all.deb ... 325s Unpacking singular-data (1:4.3.2-p10+ds-1build1) ... 325s Selecting previously unselected package singular-ui. 325s Preparing to unpack .../33-singular-ui_1%3a4.3.2-p10+ds-1build1_ppc64el.deb ... 325s Unpacking singular-ui (1:4.3.2-p10+ds-1build1) ... 325s Selecting previously unselected package singular-modules:ppc64el. 325s Preparing to unpack .../34-singular-modules_1%3a4.3.2-p10+ds-1build1_ppc64el.deb ... 325s Unpacking singular-modules:ppc64el (1:4.3.2-p10+ds-1build1) ... 325s Selecting previously unselected package singular:ppc64el. 325s Preparing to unpack .../35-singular_1%3a4.3.2-p10+ds-1build1_ppc64el.deb ... 325s Unpacking singular:ppc64el (1:4.3.2-p10+ds-1build1) ... 325s Selecting previously unselected package libopengl0:ppc64el. 325s Preparing to unpack .../36-libopengl0_1.7.0-1_ppc64el.deb ... 325s Unpacking libopengl0:ppc64el (1.7.0-1) ... 325s Selecting previously unselected package libglu1-mesa:ppc64el. 325s Preparing to unpack .../37-libglu1-mesa_9.0.2-1.1_ppc64el.deb ... 325s Unpacking libglu1-mesa:ppc64el (9.0.2-1.1) ... 325s Selecting previously unselected package qepcad. 325s Preparing to unpack .../38-qepcad_1.74+ds-4_ppc64el.deb ... 325s Unpacking qepcad (1.74+ds-4) ... 325s Selecting previously unselected package autopkgtest-satdep. 325s Preparing to unpack .../39-1-autopkgtest-satdep.deb ... 325s Unpacking autopkgtest-satdep (0) ... 325s Setting up libxcb-dri3-0:ppc64el (1.15-1) ... 325s Setting up libx11-xcb1:ppc64el (2:1.8.7-1) ... 325s Setting up libdrm-nouveau2:ppc64el (2.4.120-2) ... 325s Setting up libxcb-xfixes0:ppc64el (1.15-1) ... 325s Setting up libxi6:ppc64el (2:1.8.1-1) ... 325s Setting up libdrm-radeon1:ppc64el (2.4.120-2) ... 325s Setting up libglvnd0:ppc64el (1.7.0-1) ... 325s Setting up libgf2x3:ppc64el (1.3.0-2) ... 325s Setting up libxcb-glx0:ppc64el (1.15-1) ... 325s Setting up libxcb-shm0:ppc64el (1.15-1) ... 325s Setting up libopengl0:ppc64el (1.7.0-1) ... 325s Setting up libxxf86vm1:ppc64el (1:1.1.4-1build3) ... 325s Setting up libxcb-present0:ppc64el (1.15-1) ... 325s Setting up libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu4) ... 325s Setting up libxfixes3:ppc64el (1:6.0.0-2) ... 325s Setting up libxcb-sync1:ppc64el (1.15-1) ... 325s Setting up singular-data (1:4.3.2-p10+ds-1build1) ... 325s Setting up libflint18:ppc64el (3.0.1-3) ... 325s Setting up libglapi-mesa:ppc64el (24.0.1-1ubuntu1) ... 325s Setting up libvulkan1:ppc64el (1.3.275.0-1) ... 325s Setting up libxcb-dri2-0:ppc64el (1.15-1) ... 325s Setting up libntl44:ppc64el (11.5.1-1) ... 325s Setting up libxshmfence1:ppc64el (1.3-1build4) ... 325s Setting up libxcb-randr0:ppc64el (1.15-1) ... 325s Setting up libglu1-mesa:ppc64el (9.0.2-1.1) ... 325s Setting up libllvm17:ppc64el (1:17.0.6-5build1) ... 325s Setting up libdrm-amdgpu1:ppc64el (2.4.120-2) ... 325s Setting up libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu4) ... 325s Setting up libcdd0d:ppc64el (094m-1) ... 325s Setting up libgl1-mesa-dri:ppc64el (24.0.1-1ubuntu1) ... 325s Setting up libsingular4m3n0:ppc64el (1:4.3.2-p10+ds-1build1) ... 325s Setting up singular-ui (1:4.3.2-p10+ds-1build1) ... 325s Setting up libglx-mesa0:ppc64el (24.0.1-1ubuntu1) ... 325s Setting up libglx0:ppc64el (1.7.0-1) ... 325s Setting up singular-modules:ppc64el (1:4.3.2-p10+ds-1build1) ... 325s Setting up libgl1:ppc64el (1.7.0-1) ... 325s Setting up singular:ppc64el (1:4.3.2-p10+ds-1build1) ... 325s Setting up libglut3.12:ppc64el (3.4.0-1) ... 325s Setting up qepcad (1.74+ds-4) ... 325s Setting up autopkgtest-satdep (0) ... 325s Processing triggers for man-db (2.12.0-3) ... 326s Processing triggers for libc-bin (2.39-0ubuntu6) ... 328s (Reading database ... 70300 files and directories currently installed.) 328s Removing autopkgtest-satdep (0) ... 329s autopkgtest [17:01:17]: test command1: qepcad < debian/tests/positive-semidefinite && qepcad < debian/tests/triangles && qepcad < debian/tests/anai && qepcad < debian/tests/edge-square-product && qepcad < debian/tests/quartic && qepcad < debian/tests/hong-liska-steinberg && cad2d < debian/tests/cad2d 329s autopkgtest [17:01:17]: test command1: [----------------------- 329s ======================================================= 329s Quantifier Elimination 329s in 329s Elementary Algebra and Geometry 329s by 329s Partial Cylindrical Algebraic Decomposition 329s 329s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 329s 329s by 329s Hoon Hong 329s (hhong@math.ncsu.edu) 329s 329s With contributions by: Christopher W. Brown, George E. 329s Collins, Mark J. Encarnacion, Jeremy R. Johnson 329s Werner Krandick, Richard Liska, Scott McCallum, 329s Nicolas Robidoux, and Stanly Steinberg 329s ======================================================= 329s Enter an informal description between '[' and ']': 329s [ Computes the "not" of "is p positive semidefinite?" ]Enter a variable list: 329s (w,z,x,y)Enter the number of free variables: 329s 0 329s Enter a prenex formula: 329s (F w)(F z)(F x)(F y)[ 329s w^6 + 2 z^2 w^3 + x^4 + y^4 + z^4 + 2 x^2 w + 329s 2 x^2 z + 3 x^2 + w^2 + 2 z w + z^2 + 2 z + 2 w + 1 < 0 329s ]. 329s 329s ======================================================= 329s 329s Before Normalization > 329s finish 329s 329s An equivalent quantifier-free formula: 329s 329s FALSE 329s 329s 329s ===================== The End ======================= 329s 329s ----------------------------------------------------------------------------- 329s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 329s 364766 Cells in AVAIL, 500000 Cells in SPACE. 329s 329s System time: 9 milliseconds. 329s System time after the initialization: 6 milliseconds. 329s ----------------------------------------------------------------------------- 329s ======================================================= 329s Quantifier Elimination 329s in 329s Elementary Algebra and Geometry 329s by 329s Partial Cylindrical Algebraic Decomposition 329s 329s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 329s 329s by 329s Hoon Hong 329s (hhong@math.ncsu.edu) 329s 329s With contributions by: Christopher W. Brown, George E. 329s Collins, Mark J. Encarnacion, Jeremy R. Johnson 329s Werner Krandick, Richard Liska, Scott McCallum, 329s Nicolas Robidoux, and Stanly Steinberg 329s ======================================================= 329s Enter an informal description between '[' and ']': 329s [ Charaterizing triangles with external bisectors ]Enter a variable list: 329s (c,b,a)Enter the number of free variables: 329s 3 329s Enter a prenex formula: 329s [ b^2 + a^2 - c^2 <= 0 \/ c (b^2 + a^2 - c^2)^2 < a b^2 (2 a c - (c^2 + a^2 - b^2)) ]. 329s 329s ======================================================= 329s 329s Before Normalization > 329s assume [ a > 0 /\ b > 0 /\ c > 0 /\ a < b + c /\ b < a + c /\ c < a + b ] 329s Before Normalization > 329s finish 329s 329s An equivalent quantifier-free formula: 329s 329s a - c < 0 329s 329s 329s ===================== The End ======================= 329s 329s ----------------------------------------------------------------------------- 329s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 329s 456295 Cells in AVAIL, 500000 Cells in SPACE. 329s 329s System time: 4 milliseconds. 329s System time after the initialization: 1 milliseconds. 329s ----------------------------------------------------------------------------- 329s ======================================================= 329s Quantifier Elimination 329s in 329s Elementary Algebra and Geometry 329s by 329s Partial Cylindrical Algebraic Decomposition 329s 329s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 329s 329s by 329s Hoon Hong 329s (hhong@math.ncsu.edu) 329s 329s With contributions by: Christopher W. Brown, George E. 329s Collins, Mark J. Encarnacion, Jeremy R. Johnson 329s Werner Krandick, Richard Liska, Scott McCallum, 329s Nicolas Robidoux, and Stanly Steinberg 329s ======================================================= 329s Enter an informal description between '[' and ']': 329s [ Anai's Problem ]Enter a variable list: 329s (s,z)Enter the number of free variables: 329s 2 329s Enter a prenex formula: 329s [ 329s [s z + s - 1 >= 0 /\ s = 0 /\ z + 1 >= 0] 329s \/ [s z + s >= 0 /\ s = 0 /\ z = 0] \/ 329s [s^2 + 4 s z >= 0 /\ [[ 329s s^2 - 2 s <= 0 /\ s z + s - 1 <= 0 /\ s = 0 /\ [ 329s s^2 + 3 s z - s - 2 z <= 0 329s \/ [s + z - 1 <= 0 /\ [s z + s - 1 = 0 \/ 329s z = 0]]] /\ [s + 2 z >= 0 \/ z = 0]] \/ 329s [s^2 - 2 s <= 0 /\ s + 2 z >= 0 /\ s = 0 /\ [ 329s [s^2 + 3 s z - s - 2 z <= 0 /\ [s z + s - 1 <= 0 329s \/ z = 0]] \/ [s + z - 1 >= 0 /\ 329s [s z + s - 1 >= 0 \/ z = 0]]]]]] \/ 329s [s = 0 /\ z >= 0] 329s ]. 329s 329s ======================================================= 329s 329s Before Normalization > 329s finish 329s 329s An equivalent quantifier-free formula: 329s 329s s = 0 /\ z >= 0 329s 329s 329s ===================== The End ======================= 329s 329s ----------------------------------------------------------------------------- 329s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 329s 475605 Cells in AVAIL, 500000 Cells in SPACE. 329s 329s System time: 1 milliseconds. 329s System time after the initialization: 1 milliseconds. 329s ----------------------------------------------------------------------------- 329s ======================================================= 329s Quantifier Elimination 329s in 329s Elementary Algebra and Geometry 329s by 329s Partial Cylindrical Algebraic Decomposition 329s 329s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 329s 329s by 329s Hoon Hong 329s (hhong@math.ncsu.edu) 329s 329s With contributions by: Christopher W. Brown, George E. 329s Collins, Mark J. Encarnacion, Jeremy R. Johnson 329s Werner Krandick, Richard Liska, Scott McCallum, 329s Nicolas Robidoux, and Stanly Steinberg 329s ======================================================= 329s Enter an informal description between '[' and ']': 329s [ 329s Edge-square product problem with equational constaints 329s ]Enter a variable list: 329s (x,y,x1,x2)Enter the number of free variables: 329s 2 329s Enter a prenex formula: 329s (E x1)(E x2)[ 329s y = x1 (x1 x2 - x) + x2 /\ 329s 0 <= x1 /\ x1 <= 2 /\ 329s 2 <= x2 /\ x2 <= 4 /\ 329s -1 <= (x1 x2 - x) /\ (x1 x2 - x) <= 1 329s ]. 329s 329s ======================================================= 329s 329s Before Normalization > 329s prop-eqn-const 329s 329s Before Normalization > 329s go 329s 329s Before Projection (x2) > 329s d-level-f 4 329s A_4,1 = input 329s = x1^2 x2 + x2 - x x1 - y 329s A_4,2 = input 329s = x2 - 2 329s A_4,3 = input 329s = x2 - 4 329s A_4,4 = input 329s = x1 x2 - x + 1 329s A_4,5 = input 329s = x1 x2 - x - 1 329s 329s 329s Before Projection (x2) > 329s eqn-const-l (A_4,1) 329s Before Projection (x2) > 329s finish 331s 331s An equivalent quantifier-free formula: 331s 331s x + 1 >= 0 /\ 8 y + x^2 - 16 >= 0 /\ y + 2 x - 20 <= 0 /\ 2 y - x + 5 >= 0 /\ 4 y - x - 17 <= 0 /\ [ 2 y + x - 5 >= 0 \/ y - 2 >= 0 \/ [ x - 1 >= 0 /\ x - 2 < 0 ] \/ [ x - 1 < 0 /\ x > 0 ] ] 331s 331s 331s ===================== The End ======================= 331s 331s ----------------------------------------------------------------------------- 331s 128 Garbage collections, 51930720 Cells and 51 Arrays reclaimed, in 437 milliseconds. 331s 106616 Cells in AVAIL, 500000 Cells in SPACE. 331s 331s System time: 2184 milliseconds. 331s System time after the initialization: 2181 milliseconds. 331s ----------------------------------------------------------------------------- 331s ======================================================= 331s Quantifier Elimination 331s in 331s Elementary Algebra and Geometry 331s by 331s Partial Cylindrical Algebraic Decomposition 331s 331s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 331s 331s by 331s Hoon Hong 331s (hhong@math.ncsu.edu) 331s 331s With contributions by: Christopher W. Brown, George E. 331s Collins, Mark J. Encarnacion, Jeremy R. Johnson 331s Werner Krandick, Richard Liska, Scott McCallum, 331s Nicolas Robidoux, and Stanly Steinberg 331s ======================================================= 331s Enter an informal description between '[' and ']': 331s [ The positive-definite quartic problem ]Enter a variable list: 331s (a,b,c,d,x)Enter the number of free variables: 331s 4 331s Enter a prenex formula: 331s (Ax)[ x^4 + a x^3 + b x^2 + c x + d > 0 ]. 331s 331s ======================================================= 331s 331s Before Normalization > 331s go 331s 331s Before Projection (x) > 331s go 331s 331s Before Choice > 331s go 331s 331s Before Solution > 331s pdq 331s CAD is not projection definable. 331s 331s Before Solution > 331s sol E 331s An equivalent quantifier-free formula: 331s 331s d > _root_1 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 /\ [ 108 c^2 - 108 a b c + 27 a^3 c + 32 b^3 - 9 a^2 b^2 > 0 \/ d > _root_-1 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 ] 331s 331s 331s Before Solution > 331s sol T 331s An equivalent quantifier-free formula: 331s 331s 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 >= 0 /\ [ [ 108 c^2 - 108 a b c + 27 a^3 c + 32 b^3 - 9 a^2 b^2 > 0 /\ 384 d^2 - 192 a c d - 128 b^2 d + 144 a^2 b d - 27 a^4 d + 72 b c^2 - 3 a^2 c^2 - 40 a b^2 c + 9 a^3 b c + 8 b^4 - 2 a^2 b^3 = 0 ] \/ [ 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 > 0 /\ 384 d^2 - 192 a c d - 128 b^2 d + 144 a^2 b d - 27 a^4 d + 72 b c^2 - 3 a^2 c^2 - 40 a b^2 c + 9 a^3 b c + 8 b^4 - 2 a^2 b^3 > 0 /\ 768 d - 192 a c - 128 b^2 + 144 a^2 b - 27 a^4 > 0 ] \/ [ 108 c^2 - 108 a b c + 27 a^3 c + 32 b^3 - 9 a^2 b^2 > 0 /\ 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 > 0 ] ] 331s 331s 331s Before Solution > 331s quit 331s Quitting the QEPCAD system... Bye! 331s ======================================================= 331s Quantifier Elimination 331s in 331s Elementary Algebra and Geometry 331s by 331s Partial Cylindrical Algebraic Decomposition 331s 331s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 331s 331s by 331s Hoon Hong 331s (hhong@math.ncsu.edu) 331s 331s With contributions by: Christopher W. Brown, George E. 331s Collins, Mark J. Encarnacion, Jeremy R. Johnson 331s Werner Krandick, Richard Liska, Scott McCallum, 331s Nicolas Robidoux, and Stanly Steinberg 331s ======================================================= 331s Enter an informal description between '[' and ']': 331s [ Example 5.14 from Hong, Liska, Steinberg, 331s "Testing Stability by Quantifier Elimination" 331s Journal of Symbolic Computation, Vol. 24, No. 2, 331s August 1997. The "G" quatifier means "for all but 331s finitely many". ]Enter a variable list: 331s (a,b,c2)Enter the number of free variables: 331s 0 331s Enter a prenex formula: 331s (G a)(G b)(G c2)[ 331s [ 0 <= a /\ a <= 1 /\ 0 <= b /\ b <= 1 ] 331s ==> 331s [ 331s c2^4 (a - b + 1) ( a - b - 1) (a - b)^2 <= 0 331s /\ 331s c2^4 b^2 (b^2 - 1) + 4 c2^3 a b^2 (b - 1) 331s + 2 c2^2 a b (3 a b - 2 a - 2 b + 1) 331s + 4 c2 a^2 b (a - 1) + a^2 (a^2 - 1) <= 0 331s /\ 331s [ 331s c2^2 ( 8 a^2 b^2 - 12 a^2 b + 5 a^2 - 8 a b^3 + 8 a b^2 331s + 2 a b - 4 a + 4 b^4 - 4 b^3 - 3 b^2 + 4 b ) 331s + 2 c2 ( 4 a^3 b - 2 a^3 - 4 a^2 b^2 - 2 a^2 b + a^2 331s + 4 a b^3 - 2 a b^2 + 2 a b - 2 b^3 + b^2 ) 331s + 4 a^4 - 8 a^3 b - 4 a^3 + 8 a^2 b^2 + 8 a^2 b - 3 a^2 331s - 12 a b^2 + 2 a b + 4 a + 5 b^2 - 4 b <= 0 331s \/ 331s 2 c2^4 b ( 3 a^2 b - 2 a^2 - 2 a b^2 + a + b^3 - b) 331s + 4 c2^3 a b ( a^2 - a + b^2 - b) 331s + 2 c2^2 a ( a^3 - 2 a^2b + 3 a b^2 - a - 2 b^2 + b ) <= 0 331s ] 331s ] 331s ]. 331s 331s ======================================================= 331s 331s Before Normalization > 331s finish 332s 332s An equivalent quantifier-free formula: 332s 332s TRUE 332s 332s 332s ===================== The End ======================= 332s 332s ----------------------------------------------------------------------------- 332s 3 Garbage collections, 1429147 Cells and 0 Arrays reclaimed, in 9 milliseconds. 332s 121491 Cells in AVAIL, 500000 Cells in SPACE. 332s 332s System time: 85 milliseconds. 332s System time after the initialization: 82 milliseconds. 332s ----------------------------------------------------------------------------- 332s ======================================================= 332s CAD2D - A Program for producing CADs of R^2 332s 332s Based on QEPCAD Version B 1.74, Feb 25 2021, by Hoon Hong 332s with contributions by: Christopher W. Brown, George E. 332s Collins, Mark J. Encarnacion, Jeremy R. Johnson 332s Werner Krandick, Richard Liska, Scott McCallum, 332s Nicolas Robiduex, and Stanly Steinberg 332s ======================================================= 332s Enter an informal description between '[' and ']': 332s [ An interesting CAD of R^2 to plot ]Enter a variable list: 332s (x,y)Enter the number of free variables: 332s 2 332s Enter a prenex formula: 332s [ (x^2 + y^2)^4 - 7 x^6 y + 35 x^4 y^3 - 21 x^2 y^5 + 332s y^7 <= 0 /\ 2 y < x^2 + 1 ]. 332s 332s ======================================================= 335s 335s Before Solution > 335s p-2d-cad 335s Before Solution > 335s quit 335s Quitting the QEPCAD system... Bye! 336s autopkgtest [17:01:24]: test command1: -----------------------] 336s autopkgtest [17:01:24]: test command1: - - - - - - - - - - results - - - - - - - - - - 336s command1 PASS 336s autopkgtest [17:01:24]: @@@@@@@@@@@@@@@@@@@@ summary 336s command1 PASS 351s Creating nova instance adt-noble-ppc64el-qepcad-20240323-164403-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-ppc64el-server-20240321.img (UUID 024d6af5-fcba-4a84-85f9-01f41e1878d6)...